本文に飛ぶ
図書

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.). (Lecture notes in computer science)

図書を表すアイコン

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.).

(Lecture notes in computer science)

国立国会図書館請求記号
M15-A9546
国立国会図書館書誌ID
000003233654
資料種別
図書
著者
International Symposium of Formal Methods Europe (2nd : 1994 : Barcelona, Spain)ほか
出版者
Springer-Verlag
出版年
c1994.
資料形態
ページ数・大きさ等
xi, 723 p. : ill. ; 24 cm.
NDC
-
すべて見る

書店で探す

書誌情報

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

資料種別
図書
ISBN
3540585559
シリーズタイトル
出版年月日等
c1994.
出版年(W3CDTF)
1994
数量
xi, 723 p. : ill. ; 24 cm.
出版地(国名コード)
DE