• Hardware and Software: Verific...
  • Bestand

Treffer: Hardware and Software: Verification and Testing

Titel:
Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenҫo, Onn Shehory
Beteiligt:
Eder, Kerstin (Herausgeber); Lourenҫo, João (Herausgeber); Shehory, Onn (Herausgeber)
Ausgabe:
1st ed. 2012
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 263 Seiten) : 95 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 7261
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Hardware and Software: Verification and Testing. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642341878
Schlagworte:
ISBN:
9783642341885 ; 3642341888 ; 978--364234187-8 (Sekundärausgabe) ; 978--364234189-2 (Sekundärausgabe)
DOI:
10.1007/978-3-642-34188-5

Zusatz-Informationen

Zusatz-Funktionen