• Hardware and Software: Verific...
  • Bestand

Treffer: Hardware and Software: Verification and Testing

Titel:
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
Verantwortlich:
Bertacco, Valeria (Herausgeber); Legay, Axel (Herausgeber)
Ausgabe:
1st ed. 2013
Veröffent­licht:
Cham : Springer International Publishing, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XX, 366 Seiten) : 147 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 8244
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Hardware and Software: Verification and Testing. - Cham : Springer International Publishing, 2013. - ISBN 9783319030760
ISBN:
9783319030777 ; 3319030779 ; 978--331903076-0 (Sekundärausgabe) ; 978--331903078-4 (Sekundärausgabe)
DOI:
10.1007/978-3-319-03077-7

Zusatz-Informationen

Zusatz-Funktionen