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
Fertigungsverfahren 4
$59.99
Early Engineering Learning
$129.99
Schriftspracherwerb und die Entstehung von Sprachbewutheit
$59.99
Afrikanische Erzhlungen als religionsethnologische Quellen dargestellt am Beispiel von Erzhlunge
$44.99
Automatic Speech Analysis and Recognition
$169.99
ber den Feinbau des Myocards von Rana temporaria (L.) / Ultrastructure of ventricular cardiac muscl
$59.99
New Paradigm for Re-engineering Education
$169.00
New Trade Union Activism
$54.99
Soft Computing Applications
$199.99
Trajectories and Origins: Survey on the Diversity of the French Population
$109.99
Graph Drawing
$39.99
Unifying Theories of Programming
$44.99
Researching Serendipity in Digital Information Environments
$37.99
Cardiac-Vascular Remodeling and Functional Interaction
$39.99
Die Grundlagen der Unspezifischen Therapie
$59.99
Collected Works I
$69.99
Zentrale Filmografie Politische Bildung
$49.99
Next Generation Infrared Space Observatory
$129.00
Turbulent Impinging Jets into Porous Materials
$34.99
Action Figures
$39.99
Nothing More to Tell (Hardcover)
$14.99
Millicent Min, Girl Genius: Stanford Wong Flunks Big-Time
$5.24
Stichproben
$59.99
L-Functions and Automorphic Forms
$159.99
The Systematic Identification of Flavonoids
$89.00
Reason and Being
$169.99
Studien ber Enzymatische Oxynitrilbildung
$59.99
Genocide, Torture, and Terrorism
$54.99
Mega Robo Bros - Freddy vs. School: Freddy vs. School: The Rival
$5.99
Mathematical Models for Biological Pattern Formation
$129.00
New Information Technology and Industrial Change: The Italian Case
$39.99
Terricolous Lichens in India
$84.99
Dollar, Euros and Debt
$109.99
Convex Integration Theory
$84.99
Business Process Management Workshops
$54.99
Bildsensor zur Mustererkennung und Positionsmessung bei programmierbaren Handhabungsgerten
$59.99
Conservation and Utilization of Horticultural Genetic Resources
$139.00
IUTAM Symposium on Reynolds Number Scaling in Turbulent Flow
$169.00
Dynamical Systems
$84.99
Fremde Bildungswelten
$49.99
