Format:
X, 468 S. : graph. Darst.
ISBN:
3-540-65461-5
Series Statement:
Lecture notes in computer science 1546
Language:
English
Subjects:
Computer Science
Keywords:
Hardwareentwurf
;
Algebraische Spezifikation
;
Berechnungstheorie
;
Deduktionssystem
;
Hardwareentwurf
;
Hardwareverifikation
;
Hardwarebeschreibungssprache
;
Aufsatzsammlung
;
Konferenzschrift
;
Aufsatzsammlung
;
Konferenzschrift