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
6th Refinement Workshop
$54.99
Kulturindustrie: Theoretische und empirische Annherungen an einen populren Begriff
$59.99
Moving Toward a Just Peace
$109.99
Emerging Intelligent Computing Technology and Applications
$54.99
Accelerated Plant Breeding, Volume 1
$129.00
Friends Picture Book: Feelings are Better with Friends (Hardcover)
$13.49
Youth Quotas and other Efficient Forms of Youth Participation in Ageing Societies
$54.99
Transducers and Arrays for Underwater Sound
$159.99
Why Teach Mathematics?
$109.99
Das Vegetative System der Epileptiker
$59.99
Steuerung lokaler Bildungslandschaften
$39.99
Buster Undercover (Hardcover)
$13.49
Projektvorlaufzeit und Bauzeit
$119.99
Automated Reasoning with Analytic Tableaux and Related Methods
$54.99
Separation Techniques Thermodynamics Liquid Crystal Polymers
$84.99
Arbeit und Subjektwerdung in der Moderne
$69.99
Atlas of Diagnostic Pathology in Nonhuman Primates
$219.99
Digital Communication
$54.99
Kriegsdiskurse
$64.99
International Colloquium of Art and Design Education Research (i-CADER 2014)
$169.99
Mixed Reality In Architecture, Design, And Construction
$84.99
Vertigo and Dizziness Rehabilitation
$54.99
Agriculture Productivity in Tunisia Under Stressed Environment
$84.99
Serviceroboter
$44.99
Learning Theory
$109.99
At Home with Democracy
$169.00
Service Opportunities for Electric Utilities: Creating Differentiated Products
$129.00
Proceedings of the 7th International Conference on Industrial Engineering (ICIE 2021)
$229.00
Charting Change
$37.99
Urban Air Pollution Monitoring by Ground-Based Stations and Satellite Data
$129.99
Empowering Learners for Life in the Digital Age
$39.99
Ultrafast Strong Field Dynamics in Dielectrics
$109.99
Ausschreibungshilfe Auenanlagen und Tiefbau
$64.99
Grund und Gegenwart als Frageziel der Frh-Griechischen Philosophie
$59.99
Computational Optical Phase Imaging
$159.99
IUTAM Symposium on Turbulent Mixing and Combustion
$219.99
Handbook of Social Psychology
$109.99
Geochemistry of Chromium in the Earths Mantle
$39.99
Ad-Hoc, Mobile and Wireless Networks
$39.99
Material Cultures, Migrations, and Identities
$54.99
