Umfang:
IX, 343 S.
,
graph. Darst.
ISBN:
3540001999
Serie:
Lecture notes in computer science 2549 : State-of-the-art survey
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Asynchrones Schaltwerk
;
Entwurfsautomation
;
Eingebettetes System
;
Systementwurf
;
Nebenläufigkeit
;
Petri-Netz
;
Entwurfsautomation
;
Formale Methode
;
Verifikation
;
Leistungsbewertung
;
Aufsatzsammlung
;
Aufsatzsammlung
URL:
http://www.loc.gov/catdir/enhancements/fy0818/2002042484-d.html
Mehr zum Autor:
Rozenberg, Grzegorz 1942-
Bookmarklink