Umfang:
X, 468 S. : graph. Darst.
ISBN:
3-540-65461-5
Serie:
Lecture notes in computer science 1546
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Hardwareentwurf
;
Algebraische Spezifikation
;
Berechnungstheorie
;
Deduktionssystem
;
Hardwareentwurf
;
Hardwareverifikation
;
Hardwarebeschreibungssprache
;
Aufsatzsammlung
;
Konferenzschrift
;
Aufsatzsammlung
;
Konferenzschrift