Format:
X, 601 S. :
,
Ill., graph. Darst.
ISBN:
978-3-642-05355-9
,
978-3-642-05356-6
Series Statement:
eXamen-press
Note:
Literaturverz. S. [561] - 586
Language:
German
Subjects:
Computer Science
Keywords:
Eingebettetes System
;
Digitales System
;
Formale Spezifikationstechnik
;
Verifikation
;
SystemC
;
CASHE
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018883423&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Author information:
Teich, Jürgen, 1964-
Author information:
Haubelt, Christian, 1972-
Bookmarklink