ヘルプ
ヘルプ
図書

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)

図書を表すアイコン

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands.

(Lecture Notes in Computer Science ; 5850)

国立国会図書館請求記号
M17-10-1647
国立国会図書館書誌ID
000010644531
資料種別
図書
著者
Cavalcanti, Ana.ほか
出版者
Springer
出版年
c2009.
資料形態
紙
ページ数・大きさ等
xvii, 820 p. : ill. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記：

Selected papers.

書店で探す

書店で探す

書店で探す

書誌情報

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

紙

資料種別
図書
ISBN
9783642050886 (ISBN-13 : pbk.)
3642050883 (pbk.)
ISSN（シリーズ）
0302-9743
タイトル
FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands.
シリーズタイトル
Lecture Notes in Computer Science ; 5850
タイトル標目
Lecture notes in computer science ; 5850.
LNCS sublibrary. SL 2 Programming and software engineering.
著者標目
Cavalcanti, Ana.
Dams, Dennis.
International Symposium of Formal Methods Europe (16th : 2009 : Eindhove, the Netherlands)
出版事項
Berlin : Springer
出版年月日等
c2009.
出版年（W3CDTF）
2009