KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Synchronous Programming of Reactive Systems
  • Produktbild: Synchronous Programming of Reactive Systems
Band 215

Synchronous Programming of Reactive Systems

Aus der Reihe Springer International Series in Engineering and Computer

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Abbildungen

XIV, 174 p.

Verlag

Springer Us

Seitenzahl

174

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

300 g

Auflage

Softcover reprint of hardcover 1st ed. 1993

Sprache

Englisch

ISBN

978-1-4419-5133-5

Beschreibung

Rezension

`
... The material in the book is well-organized, the style is clear, concise and readable. This book can be recommended as serious, although enjoyable, reading for everybody who is interested in real-time, embedded systems (reactive systems).
'




Engineering Applications Artificial Intelligence, 7:3 (1994)




'
This book can be recommended as serious, although enjoyable, reading for everybody who is interested in real-time, embedded systems.
'

Eng. App. of Artificial Intelligence
7:3 1994



Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Abbildungen

XIV, 174 p.

Verlag

Springer Us

Seitenzahl

174

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

300 g

Auflage

Softcover reprint of hardcover 1st ed. 1993

Sprache

Englisch

ISBN

978-1-4419-5133-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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: Synchronous Programming of Reactive Systems
  • Produktbild: Synchronous Programming of Reactive Systems
  • 1 Introduction.- 2 The imperative language Esterel.- 3 Graphic formalisms: the language Argos.- 4 Declarative languages: Lustre and Signal.- 5 Static verifications.- 6 Sequential code generation.- 7 Distributed code generation.- 8 Circuit generation from synchronous programs.- 9 Lustre program verification: the tool Lesar.- 10 Using Auto for Esterel program verification.- 11 Conclusion.