Embedded Systems
New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986.
(Sprache: Englisch)
A 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:...
Leider schon ausverkauft
versandkostenfrei
Buch
64.19 €
Produktdetails
Produktinformationen zu „Embedded Systems “
Klappentext zu „Embedded Systems “
A 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.
Inhaltsverzeichnis zu „Embedded Systems “
A 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.
Bibliographische Angaben
- 1987, 1987, 212 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Ed. by Albert Kündig, Richard E. Bührer and Jacques Dähler
- Herausgegeben: Albert Kündig, Jacques Dähler, Richard E. Bührer
- Verlag: Springer
- ISBN-10: 354018581X
- ISBN-13: 9783540185819
- Erscheinungsdatum: 21.10.1987
Sprache:
Englisch
Kommentar zu "Embedded Systems"
0 Gebrauchte Artikel zu „Embedded Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Embedded Systems".
Kommentar verfassen