Toggle Nav
Menu

Embedded Systems

New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
220 Seiten, Taschenbuch
€ 63,90
-
+
Lieferung in 7-14 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen
Mehr Informationen
Reihe Lecture Notes in Computer Science
Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung
ISBN 9783540185819
Sprache Englisch
Erscheinungsdatum 21.10.1987
Größe 235 x 155 mm
Verlag Springer
Herausgegeben von Jacques Dähler, Richard E. Bührer, Albert Kündig
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

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.

Mehr Informationen
Reihe Lecture Notes in Computer Science
Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung
ISBN 9783540185819
Sprache Englisch
Erscheinungsdatum 21.10.1987
Größe 235 x 155 mm
Verlag Springer
Herausgegeben von Jacques Dähler, Richard E. Bührer, Albert Kündig
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
GUTSCHEIN
faltershop Gutscheinfaltershop Gutschein
Falter-Schürze WürstelFalter-Schürze Würstel
Das Problembär-ShirtDas Problembär-Shirt