FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Lecture Notes in Computer Science - Jayadev Misra - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540372158 - 2006年8月10日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Lecture Notes in Computer Science 2006 edition

価格
¥ 19.151
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月25日 - 2026年1月8日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

Presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006.


620 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2006年8月10日
ISBN13 9783540372158
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 620
寸法 155 × 235 × 32 mm   ·   879 g
言語 フランス語  
編集者 Misra, Jayadev
編集者 Nipkow, Tobias
編集者 Sekerinski, Emil

すべて表示

Jayadev Misraの他の作品を見る