The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna, Amir Pnueli (Hardback, 1991)

Brand new: lowest price

AU $206.60

+ AU $7.50 postage
  • Get it by Thu, 14 Jun - Fri, 22 Jun from Priority Airmail from England, United Kingdom
  • Brand new condition
  • • Returns accepted - 14 days money back
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. -- Springer Publishing. Temporal logic provides a simple but precise way of talking about the complexities of ordering interactions.