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 - Bücher - Springer International Publishing AG - 9783319133379 - 6. November 2014
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
SFr. 44,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 12. - 20. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 6. November 2014
ISBN13 9783319133379
Verlag Springer International Publishing AG
Seitenanzahl 302
Maße 155 × 235 × 17 mm   ·   4,86 kg
Sprache Deutsch  
Redakteur Yahav, Eran

Weitere Titel von Eran Yahav

Alle anzeigen