Alta reperibilità
Embedded Systems
New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
- Editore:
Springer Berlin Heidelberg
- EAN:
9783540185819
- ISBN:
354018581X
- Pagine:
- 220
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione 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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti