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
Students with Intellectual Disabilities
$54.99
Theatre as a for Children and Young People: Images and Observations
$109.99
Fiktion des Anfangs
$39.99
Cartilage Injury of the Knee
$159.99
The Boundary Integral Approach to Static and Dynamic Contact Problems
$39.99
Quantitatives Risikomanagement in der Immobilienwirtschaft
$59.99
Quality Control Applications
$169.99
Kochsalz. Fleischextrakte und hnliche Prparate. Fische. Lurche und Kriechtiere. Krustentiere und W
$59.99
Cyber-Sicherheit
$37.99
Therapeutic Proteins
$129.00
Applications of Medical Artificial Intelligence
$79.99
New Approaches for Multidimensional Signal Processing
$149.00
Zur analogen Grosignalaussteuerung von Feldeffekttransistoren unter Bercksichtigung des Subthresho
$59.99
Das MAI-Tool als Untersuchungsinstrument von Lsungsprozessen beim mathematischen Modellieren
$59.99
Chemists Views of Imaging Centers
$169.00
Innovation neu denken
$49.99
Combustion in High-Speed Flows
$259.00
Subjectivation in Political Theory and Contemporary Practices
$129.99
Ethics and the Will
$169.99
Representations of Internarrative Identity
$54.99
Offenlegungspolitik von Investmentfonds
$74.99
Functional Additives for Bakery Foods
$199.99
Das kleine Buch der Zahlen
$19.99
Knowledge-Based Systems in Astronomy
$39.99
Transmission of Information by Orthogonal Functions
$89.00
Whrungsdesintegration Das Ende von Whrungsunionen
$74.99
Circular Economy Adoption
$219.99
Advances in Medical Education
$329.99
Pflegefachpersonen als pflegende Angehrige
$49.99
Pattern Recognition and Machine Intelligence
$39.99
Student Speech Policy Readability in Public Schools
$19.99
Dark Nebulae, Dark Lanes, and Dust Belts
$34.99
Recent Advances in Intelligent Engineering Systems
$169.99
Distributed, Ambient and Pervasive Interactions
$89.99
Mixing for the Process Industries
$109.99
Smartphones as Mobile Minilabs in Physics
$54.99
Analytische Informationssysteme
$74.99
Carbon Bonding and Structures
$219.99
Complex Dynamics in Communication Networks
$84.99
Fundamentals of Magnonics
$99.99
