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, Band 284) - Softcover

B¿¿hrer, Richard E.; K¿¿ndig, Albert; D¿¿hler, Jacques

 
9783540185819: 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, Band 284)
Softcover
ISBN 10: 354018581X ISBN 13: 9783540185819
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354018581X
ISBN 13 
9783540185819
Einband
Taschenbuch
Anzahl der Seiten
220
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387185811: Embedded Systems: New Approaches to Their Formal Description and Design : An Advanced Course (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  038718581X ISBN 13:  9780387185811
Softcover