Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers - Softcover

 
9783642195846: Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Softcover
ISBN 10: 3642195849 ISBN 13: 9783642195846
Verlag: Springer, 2011

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
3642195849
ISBN 13 
9783642195846
Einband
Paperback
Anzahl der Seiten
208
Herausgeber
Barner Sharon, Harris Ian, Kroening Daniel
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783642195822: Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... 6504 (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  3642195822 ISBN 13:  9783642195822
Verlag: Springer, 2011
Softcover