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日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Eran Yahav
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.859
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
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の他の作品を見る

すべて表示

Eran Yahavのすべてを見る ( 例： Paperback Book )