Verwandte Artikel zu The Temporal Logic of Reactive and Concurrent Systems...

The Temporal Logic of Reactive and Concurrent Systems Specification - Hardcover

 
9783540976646: The Temporal Logic of Reactive and Concurrent Systems Specification

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems and control systems. These are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first of two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems and control systems. These are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first of two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9780387976648: The Temporal Logic of Reactive and Concurrent Systems: Specification

Vorgestellte Ausgabe

ISBN 10:  0387976647 ISBN 13:  9780387976648
Verlag: Springer, 1991
Hardcover