*Result*: Hardware and Software: Verification and Testing
*Title*:
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay
*Author/editor-in-chief*:
*Edition*:
1st ed. 2013
*Publication*:
Cham : Springer International Publishing, 2013
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XX, 366 Seiten) : 147 illus.
*Format*:
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 8244
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Hardware and Software: Verification and Testing. - Cham : Springer International Publishing, 2013. - ISBN 9783319030760
*Subject Added Keywords*:
*ISBN*:
9783319030777 ; 3319030779 ; 978--331903076-0 (Sekundärausgabe) ; 978--331903078-4 (Sekundärausgabe)
*DOI*:
10.1007/978-3-319-03077-7