769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

212 sidor
1987

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.

Författare: Albert Kundig, Richard E Buhrer, Jacques Dahler
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