Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science - Rohit Gheyi - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642332951 - 2012年8月11日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science 2012 edition

価格
Kč 1.074
税抜

遠隔倉庫からの取り寄せ

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

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012;


240 pages, 67 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年8月11日
ISBN13 9783642332951
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 227
寸法 155 × 235 × 12 mm   ·   340 g
言語 ドイツ語  
編集者 Gheyi, Rohit
編集者 Naumann, David