Embedded Systems
New Approaches to Their Formal Description and Design.An Advanced Course, Zurich, Switzerland, March 5-7,1986, Lecture Notes in Computer Science 284
Albert Kündig/Richard E Bührer/Jacques Dähler
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Zusatztext
InhaltsangabeA note on the meaning of "Embedded systems".- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms for system description: Current research topics.- Tools for protocols driven by formal specifications.- Functional programming languages as a software engineering tool.- Practical methods and tools for specification.
Weitere Details
Erschienen: 21.10.1987
Umfang: viii, 212 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540185819
Umbreit-Nr.: 1484697
