Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science - E Brinksma - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540439974 - 2002年7月19日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

E Brinksma
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science 2002 edition

価格
¥ 16.352
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月9日 - 年11月19日
クリスマスプレゼントは1月31日まで返品可能です
E Brinksma の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. In addition, the CAV program contained 11 tool presentations selected from 16 submissions.

362 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2002年7月19日
ISBN13 9783540439974
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 362
寸法 155 × 233 × 33 mm   ·   911 g
言語 ドイツ語  
編集者 Brinksma, Ed
編集者 Larsen, Kim G.

E Brinksmaの他の作品を見る

すべて表示

同じ出版社からのその他の記事

E Brinksmaのすべてを見る