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