Visit our Christmas Gift Finder
The Temporal Logic of Reactive and Concurrent Systems: Specification (Paperback)
  • The Temporal Logic of Reactive and Concurrent Systems: Specification (Paperback)
zoom

The Temporal Logic of Reactive and Concurrent Systems: Specification (Paperback)

(author), (author)
£79.99
Paperback 427 Pages / Published: 17/10/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461269502
Number of pages: 427
Weight: 676 g
Dimensions: 235 x 155 x 22 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Thoughtful Machine Learning
Added to basket
The Elements of Statistical Learning
Added to basket
The Sciences of the Artificial
Added to basket
Algorithms for Reinforcement Learning
Added to basket
Introducing Artificial Intelligence
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
Machine Learning
Added to basket
Emotion: A Very Short Introduction
Added to basket
Programming Computer Vision with Python
Added to basket
Artificial Intelligence
Added to basket
Theory of Conditional Games
Added to basket
Machine Learning
Added to basket
£37.99
Paperback
Artificial Intelligence for Games
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.