Treffer: Correct Hardware Design and Verification Methods

Titel:

Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / edited by Dominique Borrione, Wolfgang Paul

Beteiligt:

Borrione, Dominique (Herausgeber); Paul, Wolfgang (Herausgeber)

Ausgabe:

1st ed. 2005

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XII, 414 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3725

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Correct Hardware Design and Verification Methods. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540291053

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540320302 ; 354032030X ; --354029105-9 ; --354081612-7 ; 978--354029105-3 (Sekundärausgabe) ; 978--354081612-6 (Sekundärausgabe)

DOI:

10.1007/11560548

Treffer: Correct Hardware Design and Verification Methods

Zusatz-Informationen

Zusatz-Funktionen