Format:
VI, 269 S.
,
graph. Darst.
ISBN:
354056778X
,
038756778X
Series Statement:
Lecture notes in computer science 683
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Milne, George J. Correct Hardware Design and Verification Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 1993 ISBN 9783540706557
Additional Edition:
Erscheint auch als Online-Ausgabe Correct hardware design and verification methods Berlin [u.a.] : Springer, 1993 ISBN 9783540706557
Language:
English
Subjects:
Computer Science
Keywords:
Hardwareverifikation
;
Hardwareverifikation
;
Hardwareverifikation
;
Konferenzschrift
;
Konferenzschrift