Willkommen, schön sind Sie da!
Logo Ex Libris

Embedded Systems

  • Kartonierter Einband
  • 220 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
A note on the meaning of Embedded systems .- Design of VLSI systems.- Embedded system description using Petri nets.- Elements fo... Weiterlesen
20%
86.00 CHF 68.80
Sie sparen CHF 17.20
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

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.

Produktinformationen

Titel: Embedded Systems
Untertitel: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
Editor:
EAN: 9783540185819
ISBN: 354018581X
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 220
Gewicht: 341g
Größe: H235mm x B155mm x T12mm
Jahr: 1987
Untertitel: Englisch
Auflage: 1987

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Teil 284
Sie sind hier.