Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
The Temporal Logic of Reactive and Concurrent Systems
Best Price (Coupon Required):
Buy The Temporal Logic of Reactive and Concurrent Systems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Instrumentelles und Bioanalytisches Praktikum
$39.99
Schweitechnik
$59.99
Marketing and Smart Technologies
$229.00
Aspects of Homogeneous Catalysis
$39.99
Mathematisches Repetitorium fr Studirende der Forstwissenschaft
$84.99
Teilzeitfhrung
$39.99
Subsidiaritt und fderale Whrungsunion in Europa
$49.99
Neural Mechanisms of Language
$119.99
Local Leadership in a Global Era
$84.99
Barnes & Noble Sound the Gong by Joan He
$19.99
Molecular Biology of Neuropsychiatric Disorders
$169.00
Multidisciplinary Management of Liver Metastases in Colorectal Cancer
$109.99
Proceedings of the NIELIT's International Conference on Communication, Electronics and Digital Techn
$219.00
Proceedings of the 2nd Advances in Business Research International Conference
$169.99
Stretchable Bioelectronics for Medical Devices and Systems
$89.00
Theoretical Foundations of Radar Location and Radio Navigation
$84.99
From Egg to Robin
$5.21
Investor Relations
$59.99
Charge-Trapping Non-Volatile Memories
$109.99
Phenomenology and the Arts: Logos and Aisthesis
$109.99
Charlotte Smith
$169.99
Neue Materialien fr einen realittsbezogenen Mathematikunterricht 4
$39.99
Solving Non-standard Packing Problems by Global Optimization and Heuristics
$54.99
Survival Analysis
$99.00
Piezo-Electric Electro-Acoustic Transducers
$109.99
Die protestantische Ethik und der "Geist" des Kapitalismus
$49.99
Eddy Structure Identification
$109.99
Soziale Arbeit und Soziales Kapital
$49.99
Philosophical and Ethical Problems in Mental Handicap
$109.99
Biodiversity Offsets Between Regulation and Voluntary Commitment
$179.99
Basiswissen Urologie
$19.99
An Oral History of the Portuguese Colonial War
$129.99
IUTAM Symposium on New Applications of Nonlinear and Chaotic Dynamics in Mechanics
$169.00
Erdbebenbemessung von Stahlbetonhochbauten
$99.00
Stahlbeton- und Spannbetontragwerke unter stossartiger Belastung
$43.95
History of Polyolefins
$129.00
Umwandlungssteuer
$49.99
Gynecological Endocrinology and Reproductive Medicine
$169.99
Antiquity Forgot
$109.99
Privilege Through the Looking-Glass
$37.99
