The Temporal Logic of Reactive and Concurrent Systems: Specification - Couverture rigide

Manna, Zohar; Pnueli, Amir

 
9780387976648: The Temporal Logic of Reactive and Concurrent Systems: Specification
Couverture rigide
ISBN 10 : 0387976647 ISBN 13 : 9780387976648
Editeur : Springer-Verlag New York Inc., 1991

Synopsis

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag New York Inc.
Date d'édition
1991
Langue
anglais
ISBN 10 
0387976647
ISBN 13 
9780387976648
Reliure
Relié
Nombre de pages
427
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540976646: The Temporal Logic of Reactive and Concurrent Systems Specification

Edition présentée

ISBN 10 :  3540976647 ISBN 13 :  9783540976646
Editeur : Springer-Verlag Berlin and Heide..., 1992
Couverture rigide