Embedded Systems

(0)

Erste Bewertung abgeben

Klappentext A note on the meaning of Embedded systems .- Design of VLSI systems.- Embedded system description using Petri nets.- E...

Tiefpreis

CHF73.60

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Beschreibung

Klappentext

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.

Inhalt
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.