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
Data Mining for Biomarker Discovery
$109.99
Untersuchungsausschsse der Landesparlamente als Instrumente der Politik
$59.99
Measuring the Business Value of Cloud Computing
$59.99
The Authority of EU Law
$159.99
Girls at Puberty
$169.99
UAVs and Urban Spatial Analysis
$199.99
Power and Structure in Theater
$69.99
Chaos and Stability in Planetary Systems
$84.99
Management of Speech and Video Telephony Quality in Heterogeneous Wireless Networks
$109.99
Search for New Heavy Charged Bosons and Measurement of High-Mass Drell-Yan Production in ProtonProt
$84.99
Kosten- und Leistungsrechnung im Industriebetrieb
$59.99
Excel fr Techniker und Ingenieure
$59.99
Beitrag zur Arbeitsweise von Sandslingern
$59.99
Mathematical Theory of Dispersion-Managed Optical Solitons
$84.99
Resuscitation and Life Support in Disasters, Relief of Pain and Suffering in Disaster Situations
$109.99
Authoritarianism and Resistance in Turkey
$99.00
Multiliteracies Pedagogy and Language Teaching
$119.00
Algorithms for Computer Algebra
$129.00
Material Identification Using Mixed Numerical Experimental Methods
$169.99
Bonds of Blood
$54.99
Optimization Models in a Transition Economy
$54.99
Strain Variation in the Mycobacterium tuberculosis Complex: Its Role in Biology, Epidemiology and Co
$199.99
Topologie
$49.99
Catching Up to Crypto: Your Guide to Bitcoin and the New Digital Economy by Ben Armstrong
$27.00
Geometry Seminar "Luigi Bianchi" II - 1984
$54.99
Solid State NMR Spectroscopy for Biopolymers
$169.99
Gel Chemistry
$139.99
Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries
$99.99
Methodenbuch Soziale Arbeit
$19.99
Prospects and Challenges of Free Trade Agreements
$54.99
Flle zur Personalwirtschaft
$59.99
Approaches to Organic Form
$129.00
Environmental Systems Engineering
$84.99
STACS 97
$84.99
Web-Age Information Management
$54.99
Beginning Windows 10
$49.99
Fabrikarchitektur
$54.99
From Minimal Contrast to Meaning Construct
$109.99
Strkung der Lernkultur in Unternehmen
$64.99
Toward Mathematics for All
$129.00
