• Hardware and Software: Verific...
  • *Holdings*

*Result*: Hardware and Software: Verification and Testing

*Title*:
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
*Author/editor-in-chief*:
Biere, Armin (Herausgeber); Nahir, Amir (Herausgeber); Vos, Tanja (Herausgeber)
*Edition*:
1st ed. 2013
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XII, 281 Seiten) : 75 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 7857
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Hardware and Software: Verification and Testing. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642396106
*Subject Added Keywords*:
*ISBN*:
9783642396113 ; 3642396119 ; 978--364239610-6 (Sekundärausgabe) ; 978--364239612-0 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-39611-3

*Additional information*

*Additional functions*