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
Allgemeine Erkenntnislehre
$179.99
Qualitative Research in the Post-Modern Era
$54.99
Lehrbuch der rntgendiagnostischen Technik
$54.99
How Do Dinosaurs Stay Safe? (Hardcover)
$14.24
Post-Truth, Scepticism & Power
$84.99
Fhrung von unten
$64.99
Volkstmliche Namen der Arzneimittel, Drogen Heilkruter und Chemikalien
$84.99
Frontier Socialism
$159.99
Indias Economic Development Strategies 19512000 A.D
$169.00
Das Mensch-Tier-Verhltnis
$74.99
Principles of Ecology
$109.99
Internationale Wahrnehmung von Urheberrechten an Musikwerken
$49.99
Marketing Decisions Under Uncertainty
$169.00
Software Specification Methods
$109.99
Die Eisenbahn - Transportsteuer und ihre Stellung im Staatshaushalte
$59.99
Basic Principles and Applications
$84.99
Multiaccess, Reservations & Queues
$84.99
The Yield Curve and Financial Risk Premia
$109.99
Geometry, Particles, and Fields
$139.99
Handbuch fr den LNG- und CNG-Praktiker
$64.99
Groflchige Einzelhandelsbetriebe
$49.99
Bury Me
$5.99
Effiziente Marketingkampagnen Erfolgsfaktoren von Effie-Gewinnern
$44.99
Knowledge Engineering and Semantic Web
$54.99
Minor Spices and Condiments
$199.99
Qualitative Methods of Physical Kinetics and Hydrodynamics
$109.99
Engineering Thermodynamics and 21st Century Energy Problems
$19.99
Harmonisierung des internen und externen Rechnungswesens
$79.99
Reviews of Infrared and Millimeter Waves
$84.99
Deformation Theory of Algebras and Structures and Applications
$549.99
Mediensoziologie
$37.99
Nebenwirkungen von Antiepileptika bei Langzeitmedikation
$54.99
The Fetish of Theology
$99.99
Reference Materials in Analytical Chemistry
$39.99
Judah Folkman
$109.99
Proceedings of the 12th International Conference on Computer Engineering and Networks
$259.00
Equations Involving Malliavin Calculus Operators
$59.99
Resilienz in rechtsberatenden Berufen
$17.99
Computational Methods for Linear Integral Equations
$54.99
Molecular Orbital Studies in Chemical Pharmacology
$109.99
