|  |
| |
| Artikel-Nr.:
5667A-9783540185819 Herst.-Nr.:
9783540185819 EAN/GTIN:
9783540185819 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Albert Kündig; Richard E. Bührer; Jacques Dähler | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| | | |
| |