Umfang:
XI, 366 S.
,
Ill., graph. Darst.
,
24 cm.
ISBN:
3540665595
Serie:
Lecture notes in computer science 1703
Anmerkung:
Literaturangaben
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Pierre, Laurence Correct Hardware Design and Verification Methods Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999 ISBN 9783540481539
Weitere Ausg.:
ISBN 3540665595
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Hardwareentwurf
;
Formale Methode
;
Hardwareverifikation
;
Formale Methode
;
Model Checking
;
VLSI
;
Entwurfsautomation
;
Formale Methode
;
Konferenzschrift
Bookmarklink