Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science - Radhia Cousot - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540242970 - 2005年1月13日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Radhia Cousot
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

価格
¥ 8.680
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

483 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2005年1月13日
ISBN13 9783540242970
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 483
寸法 155 × 235 × 25 mm   ·   693 g
言語 ドイツ語  
編集者 Cousot, Radhia

Radhia Cousotの他の作品を見る

すべて表示

Radhia Cousotのすべてを見る ( 例： Paperback Book )