The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna and Amir Pnueli

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 1461269504
• ISBN13: 9781461269502
• Release Date: October 2012
• Publisher: Springer
• Length: 427 Pages
• Weight: 1.36 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"

Customer Reviews

A Good Introduction, But ...

This book provides a very good introduction to concurrent systems and specifications. However, new or used it's certainly not worth 100$ or more. As a used book I wouldn't pay any more than 25$ for it.