Treffer: Hardware and Software: Verification and Testing

Titel:
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos
Beteiligt:
Biere, Armin (Herausgeber); Nahir, Amir (Herausgeber); Vos, Tanja (Herausgeber)
Ausgabe:
1st ed. 2013
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 281 Seiten) : 75 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 7857
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Hardware and Software: Verification and Testing. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642396106
Schlagworte:
ISBN:
9783642396113 ; 3642396119 ; 978--364239610-6 (Sekundärausgabe) ; 978--364239612-0 (Sekundärausgabe)
DOI:
10.1007/978-3-642-39611-3

Zusatz-Informationen

Zusatz-Funktionen