Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering - Eyal Bin - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540708889 - 9. Februar 2007
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering 2007 edition

Eyal Bin

Preis
€ 64,99

Bestellware

Lieferdatum: ca. 10. - 22. Jul
Zu deiner iMusic Wunschliste hinzufügen

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering 2007 edition

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.


252 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 9. Februar 2007
ISBN13 9783540708889
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 235
Maße 155 × 235 × 13 mm   ·   394 g
Sprache Deutsch  
Redakteur Bin, Eyal
Redakteur Ur, Shmuel
Redakteur Ziv, Avi