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
ber katalytische Verursachung im biologischen Geschehen
$64.99
Untersuchung der Oberflchen- und Innen-Struktur von Lackschichten mit dem Elektronenmikroskop
$54.99
Das Zusammenspiel von Product Placement und Co-Promotion
$54.99
Irradiation Effects on Polymers
$219.99
Methodologische Grundfragen der Betriebswirtschaftslehre
$49.99
DNA Methylation
$109.99
Entrepreneurship, Innovation, and Technology
$199.99
Biokybernetik und Psychopathologie
$59.99
Vergtterung und Tod
$109.99
Technical Challenges of Multipollutant Air Quality Management
$149.00
Theorie und Praxis der Gruppen- und Teamsupervision
$54.99
Handbook of Geometry and Topology of Singularities I
$169.99
'Non-Lethal' Weapons
$159.99
Myocardial Contrast Two-dimensional Echocardiography
$169.00
Medical Image Computing and Computer Assisted Intervention MICCAI 2024
$109.99
Industrielle Kostenrechnung fr Ingenieure
$54.99
Die Prfung der Elektrizitts-Zhler
$54.99
Computational Optimization
$169.99
Psychologische Diagnostik
$69.99
Dynamikgerechter Entwurf von Werkzeugmaschinen- Gestellstrukturen
$84.99
Numerische Berechnung elektromagnetischer Felder
$69.99
Essentials of Heat and Fluid Flow in Porous Media
$54.99
Driven to the Brink
$37.99
Neue konomische Theorie
$39.99
Stability of Neutral Functional Differential Equations
$129.00
Infinite Dimensional Analysis
$109.99
Tunnel Fire Dynamics
$139.00
English Language and General Studies Education in the United Arab Emirates
$159.99
Selbsterfahrung Mann
$39.99
Akute periphere Gefchirurgie
$59.99
Complementarity Problems
$44.99
Bayesian Networks and Decision Graphs
$129.99
Analyse des weltweiten Energiebedarfs zum Heizen und Khlen von Elektrofahrzeugen
$29.99
From the First World War to the Arab Spring
$129.99
Women in the English Novel, 18001900
$109.99
Shape Reconstruction from Apparent Contours
$54.99
Spannen im Maschinenbau
$44.99
Informations- und Kommunikationstechniken im Dienstleistungssektor
$69.99
Managed Grids and Cloud Systems in the Asia-Pacific Research Community
$219.99
Mystik und Glaube im Zusammenhang mit der Mission auf Java
$59.99
