本文に飛ぶ
図書

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.). (Lecture notes in computer science)

図書を表すアイコン

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.).

(Lecture notes in computer science)

国立国会図書館請求記号
M15-A8145
国立国会図書館書誌ID
000003205786
資料種別
図書
著者
CAV '91 (3rd : 1991 : Ålborg, Denmark)ほか
出版者
Springer-Verlag
出版年
c1992.
資料形態
ページ数・大きさ等
x, 487 p. : ill. ; 25 cm.
NDC
-
すべて見る

書店で探す

書誌情報

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

資料種別
図書
ISBN
3540551794 (Berlin : acid-free paper)
0387551794 (New York : acid-free paper)
シリーズタイトル
出版年月日等
c1992.
出版年(W3CDTF)
1992
数量
x, 487 p. : ill. ; 25 cm.
出版地(国名コード)
DE