Treffer: Formal Methods for Hardware Verification

Titel:
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / edited by Marco Bernardo, Alessandro Cimatti
Beteiligt:
Bernardo, Marco (Herausgeber); Cimatti, Alessandro (Herausgeber)
Ausgabe:
1st ed. 2006
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VIII, 244 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 3965
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Hardware Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540343042
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783540343059 ; 3540343059 ; --354034304-0 ; --354082411-1 ; 978--354034304-2 (Sekundärausgabe) ; 978--354082411-4 (Sekundärausgabe)
DOI:
10.1007/11757283

Zusatz-Informationen

Zusatz-Funktionen