Format:
X, 601 S.
,
Ill., graph. Darst.
ISBN:
9783642053559
,
9783642053566
Series Statement:
eXamen-press
Note:
Literaturverz. S. [561] - 586
Language:
German
Subjects:
Computer Science
Keywords:
Eingebettetes System
;
Digitales System
;
Formale Spezifikationstechnik
;
Verifikation
;
SystemC
;
CASHE
Author information:
Haubelt, Christian 1972-
Author information:
Teich, Jürgen 1964-
Bookmarklink