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.
Lieferbar
ISBN | 9783540185819 |
---|---|
Sprache | eng |
Cover | Kartonierter Einband (Kt) |
Verlag | Springer Berlin Heidelberg |
Jahr | 19871021 |
Dieser Artikel hat noch keine Bewertungen.