Treffer: Hardware and Software: Verification and Testing
Titel:
Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers / edited by Hana Chockler, Alan J. Hu
Verantwortlich:
Ausgabe:
1st ed. 2009
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 215 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5394
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Hardware and Software: Verification and Testing. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642017018
Schlagworte:
ISBN:
9783642017025 ; 3642017029 ; 978--364201701-8 (Sekundärausgabe) ; 978--364201703-2 (Sekundärausgabe)
DOI:
10.1007/978-3-642-01702-5