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
Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies
$219.99
Privatization and Deregulation
$109.99
Scaling Up
$109.99
Optical Imaging of Brain Function and Metabolism 2
$169.99
Structures of Knowing
$129.00
Food Security in Island States
$109.99
An Elastic Model for Volcanology
$54.99
Ultraschalldiagnostik in der Gastroenterologie
$44.99
Das diskursive Verschwinden der Religionsfreiheit
$29.99
Pdagogische Psychologie
$39.99
Does Carbon-Conscious Behavior Drive Firm Performance?
$54.99
The Boundary-Domain Integral Method for Elliptic Systems
$29.99
I Wish You All the Best
$8.24
A Step-by-Step Guide to Conducting an Integrative Review
$49.99
Riemannian Geometry and Geometric Analysis
$44.99
Handrehabilitation
$99.99
Semantic Multimedia
$39.99
Writing Resistance and the Question of Gender
$89.99
Strategieorientierte Planung betrieblicher Informations- und Kommunikationssysteme
$69.99
Volkswirtschaftslehre
$29.99
Grenzgebiete der inneren Medizin und Neurologie in Klinik und Praxis
$69.99
Egalitarianism in Scandinavia
$159.99
Ein Beitrag zur Verbesserung von Planungsprozessen in Stadtentwicklung und Stadtwirtschaft
$59.99
Topics in stochastic processes
$29.95
Diversity of Experimental Methods in Economics
$119.99
Patch Testing
$54.99
Studies of Intensified Small-scale Processes for Liquid-Liquid Separations in Spent Nuclear Fuel Re
$109.99
Globale Supply Chain
$39.99
The Soils of Italy
$219.99
Transitions in Domestic Consumption and Family Life in the Modern Middle East: Houses in Motion
$39.99
Leistungskultur im Fokus der digitalen Transformation
$17.99
Lernen in heterogenen Lerngruppen
$54.99
Tele-Improvisation: Intercultural Interaction in the Online Global Music Jam Session
$109.99
Unconventional Shale Gas Exploration and Exploitation
$159.99
AutoBATS and 3D MUSIC: New Approaches to Imaging Earthquake Rupture Behaviors
$199.99
Roter Imperialismus
$59.99
Ethno-Musicology
$54.99
Web Page Recommendation Models
$19.99
Pro PHP Security
$59.99
Artificial Intelligence for Cyber-Physical Systems Hardening
$199.99
