KI-Beratung Beta

  • Produktbild: Formal Development of Reactive Systems
  • Produktbild: Formal Development of Reactive Systems
Band 891

Formal Development of Reactive Systems Case Study Production Cell

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.01.1995

Abbildungen

XII, 400 p.

Herausgeber

Claus Lewerentz + weitere

Verlag

Springer Berlin

Seitenzahl

400

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

622 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-58867-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.01.1995

Abbildungen

XII, 400 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

400

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

622 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-58867-2

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Development of Reactive Systems
  • Produktbild: Formal Development of Reactive Systems
  • Task description.- Comparative survey.- CSL.- Esterel.- Lustre.- Signal.- Statecharts.- TLT.- SDL.- Focus.- Spectrum.- KIV.- Tatzelwurm.- HTTDs and HOL.- Raise.- Deductive synthesis.- Symbolic Timing Diagrams.- LCM and MCM.- Modula-3.- TROLL light.- Simulation.