The Temporal Logic of Reactive and Concurrent Systems: Specification
Select Format
Select Condition 
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 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.
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
1 rating
A Good Introduction, But ...
Published by Thriftbooks.com User , 22 years ago
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.
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
