FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science - Ana Cavalcanti - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642050886 - 2009年10月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Ana Cavalcanti

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition

価格
₪ 398
税抜

遠隔倉庫からの取り寄せ

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

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.


840 pages, 1, black & white illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2009年10月26日
ISBN13 9783642050886
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 820
寸法 155 × 235 × 42 mm   ·   1,16 kg
言語 フランス語  
編集者 Cavalcanti, Ana
編集者 Dams, Dennis