Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Lecture Notes in Computer Science - Eran Yahav - 書籍 - Springer International Publishing AG - 9783319133379 - 2014年11月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

価格
¥ 8.449
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月19日 - 年12月1日
クリスマスプレゼントは1月31日まで返品可能です
Eran Yahav の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.


302 pages, 78 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年11月6日
ISBN13 9783319133379
出版社 Springer International Publishing AG
ページ数 302
寸法 155 × 235 × 17 mm   ·   4,86 kg
言語 ドイツ語  
編集者 Yahav, Eran

Eran Yahavの他の作品を見る

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