Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science - Bernhard Steffen - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540208037 - 2004年1月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

価格
¥ 8.882
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.

325 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2004年1月7日
ISBN13 9783540208037
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 325
寸法 156 × 234 × 18 mm   ·   480 g
言語 ドイツ語  

Bernhard Steffenの他の作品を見る

すべて表示

Bernhard Steffenのすべてを見る ( 例： Paperback Book および Hardcover Book )