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

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.12.1992

Abbildungen

XIV, 174 p.

Verlag

Springer Us

Seitenzahl

174

Maße (L/B/H)

24,1/16/1,5 cm

Gewicht

401 g

Auflage

1993

Sprache

Englisch

ISBN

978-0-7923-9311-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

Gebundene Ausgabe

Erscheinungsdatum

31.12.1992

Abbildungen

XIV, 174 p.

Verlag

Springer Us

Seitenzahl

174

Maße (L/B/H)

24,1/16/1,5 cm

Gewicht

401 g

Auflage

1993

Sprache

Englisch

ISBN

978-0-7923-9311-5

Herstelleradresse

Springer-Verlag GmbH
Europaplatz 3
69115 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: 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.