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... This description may be from another edition of this product.
Format:Hardcover
Language:English
ISBN:0387976647
ISBN13:9780387976648
Release Date:December 1991
Publisher:Springer
Length:427 Pages
Weight:1.85 lbs.
Dimensions:1.0" 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
