UB FFM: Titel: Hardware and Software, Verification and Testing

Titel:

Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal

Verantwortlich:

Ur, Shmuel (Herausgeber); Bin, Eyal (Herausgeber); Wolfsthal, Yaron (Herausgeber)

Ausgabe:

1st ed. 2006

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (X, 270 Seiten)

Publikationstyp:

E-Book

Schriftenreihe/Mehrbändiges Werk:

Programming and Software Engineering, ISSN 2945-9168 ; 3875

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Hardware and Software, Verification and Testing. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540326045

RVK-Notation:

ST 233 SS 4000

Schlagworte:

ISBN:

9783540326052 ; 3540326057 ; --354032604-9 ; --354082086-8 ; 978--354032604-5 (Sekundärausgabe) ; 978--354082086-4 (Sekundärausgabe)

Treffer: Hardware and Software, Verification and Testing

Zusatz-Informationen

Zusatz-Funktionen