.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
The Temporal Logic of Reactive and Concurrent Systems
Manna, Zohar; Pnueli, Amir
€ 147.49
FREE Delivery in Ireland
Description for The Temporal Logic of Reactive and Concurrent Systems
Hardcover. Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, and control systems. This volume offers a self-contained introduction to temporal logic and an introduction to the computational model for reactive programs. Num Pages: 427 pages, biography. BIC Classification: UM; UT. Category: (G) General (US: Trade). Dimension: 234 x 156 x 25. Weight in Grams: 802.
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.
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.
Product Details
Format
Hardback
Publication date
1991
Publisher
Springer-Verlag New York Inc. United States
Number of pages
427
Condition
New
Number of Pages
427
Place of Publication
New York, NY, United States
ISBN
9780387976648
SKU
V9780387976648
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for The Temporal Logic of Reactive and Concurrent Systems