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
Transgender On Screen
$54.99
Discounted Cashflow-Verfahren und der Einfluss von Steuern
$74.99
Die spektrographische Bestimmung der Spurenelemente in Stahl ohne vorherige Abtrennung
$59.99
Electrical Installations and Regulations
$74.99
VOB Bildband
$99.00
Novel Aspects
$84.99
Conrad
$44.99
Gesetz und Recht im Krankenhaus
$44.99
Modeling and Animation Using Blender
$49.99
Protein Reviews
$109.99
Towards Autonomous Robotic Systems
$54.99
Datenschutz in der Rentenversicherung
$59.99
Pathologische Physiologie des Chirurgen (Experimentelle Chirurgie)
$59.99
Notfallchirurgie des Abdomens
$84.99
Micro-electrical Discharge Machining Processes
$109.99
Bindung und Trennung
$64.99
Refugees and the Meaning of Home
$54.99
Recursion Theory Week
$54.99
Molecular Physiology and Pharmacology of Cardiac Ion Channels and Transporters
$329.99
Censorship from Plato to Social Media
$179.99
Tensorrechnung in analytischer Darstellung
$49.99
Ansthesie fr Herz-, Thorax- und Gefchirurgie
$54.99
Shock Phenomena in Granular and Porous Materials
$109.00
Introduction to Drug Metabolism
$109.99
Helicobacter pylori
$169.00
An Introduction to High-Voltage Experimental Technique
$59.99
Text Data Mining
$89.99
Human Embryonic and Induced Pluripotent Stem Cells
$299.99
Die Schattenseite der Kreativitt
$19.99
Der Prozess mobiler Entwicklungsprojekte: Muster agiler Methoden
$44.99
Mechanics of Wood Machining
$109.99
Environmental Adaptations and Stress Tolerance of Plants in the Era of Climate Change
$219.99
The Sea of Always (Thirteen Witches Series #2) by Jodi Lynn Anderson
$17.99
Celluloseesterlacke
$49.99
Interleukin 12: Antitumor Activity and Immunotherapeutic Potential in Oncology
$39.99
Current Environmental Issues and Challenges
$54.99
Innovative Interaktionstechniken in der Visualisierung
$69.99
Privatisation and Structural Change in Transition Economies
$54.99
Human Resource Management in Consulting Firms
$54.99
Growth and Growth Substances / Wachstum und Wuchsstoffe
$74.99
