本文に飛ぶ
図書

AUTOMATIC ANALYSIS OF FORMAL REAL-TIME SYSTEM SPECIFICATIONS. (AERE ; AERE-R-9046)

図書を表すアイコン

AUTOMATIC ANALYSIS OF FORMAL REAL-TIME SYSTEM SPECIFICATIONS.

(AERE ; AERE-R-9046)

資料種別
図書
著者
QUIRK, W.J.
出版者
Atomic Energy Research Establishment(Atomic Energy Research Establishment)
出版年
-
資料形態
ページ数・大きさ等
19
NDC
-
すべて見る

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
著者・編者
QUIRK, W.J.
シリーズタイトル
著者標目
数量
19
出版地(国名コード)
uk
本文の言語コード
eng
対象利用者
一般