769:-
Uppskattad leveranstid 10-15 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9783540185819
- Språk: Engelska
- Antal sidor: 212
- Utgivningsdatum: 1987-10-01
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K