NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science - Mihaela Bobaru - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642203978 - 2011年4月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Mihaela Bobaru
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science

価格
¥ 10.213
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月9日 - 2026年1月22日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.

534 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年4月6日
ISBN13 9783642203978
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 534
寸法 155 × 235 × 30 mm   ·   816 g
言語 フランス語  
編集者 Bobaru, Mihaela
編集者 Havelund, Klaus
編集者 Holzmann, Gerard
編集者 Joshi, Rajeev

Mihaela Bobaruのすべてを見る ( 例： Paperback Book )