Format:
IX, 343 S.
,
graph. Darst.
,
24 cm
ISBN:
3540001999
Series Statement:
Lecture notes in computer science 2549
Note:
Includes bibliographical references and index
Additional Edition:
Online-Ausg. Cortadella, Jordi, 1962 - Concurrency and Hardware Design Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002 9783540361909
Additional Edition:
3540361901
Language:
English
Subjects:
Computer Science
Keywords:
Asynchrones Schaltwerk
;
Entwurfsautomation
;
Eingebettetes System
;
Systementwurf
;
Nebenläufigkeit
;
Petri-Netz
;
Entwurfsautomation
;
Formale Methode
;
Verifikation
;
Leistungsbewertung
;
Aufsatzsammlung
URL:
http://www.loc.gov/catdir/enhancements/fy0818/2002042484-d.html
Bookmarklink