Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings - Programming and Software Engineering - D a Peled - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540292098 - 2005年9月19日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

D a Peled
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings - Programming and Software Engineering 2005 edition

価格
¥ 8.520
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月5日 - 年11月17日
D a Peled の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia.

508 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2005年9月19日
ISBN13 9783540292098
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 508
寸法 152 × 229 × 26 mm   ·   725 g
言語 ドイツ語  
編集者 Peled, Doron A.
編集者 Tsay, Yih-Kuen

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

D a Peledのすべてを見る