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
Formal Techniques in Real-Time and Fault-Tolerant Systems
Best Price (Coupon Required):
Buy Formal Techniques in Real-Time and Fault-Tolerant 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
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.
Reviews
Questions & Answers
Betriebe, Produktion und Sozialprodukt
$69.99
Neuroinflammation, Gut-Brain Axis and Immunity in Neuropsychiatric Disorders
$249.99
Disordered Solids
$54.99
Microplastics
$109.99
Elektronische Signaturen
$69.99
Object-Oriented Programming
$39.99
How Megaprojects Are Damaging Nigeria and How to Fix It
$37.99
Modern Lifestyles, Lower Energy Intake and Micronutrient Status
$84.99
Advances in Artificial Intelligence and Security
$84.99
Sweet Spreads, Delectable Dessert Boards for Every Occasion by Amber Olson
$29.99
Modern Techniques in Neuroscience Research
$39.99
Optimization Techniques
$39.99
Eric Carle Board Books: The Very Hungry Caterpillar
$8.24
Deep Fields
$44.99
Annual Update in Intensive Care and Emergency Medicine 2023
$139.99
The Structure of Interdisciplinary Science
$99.99
Brussels Ibis Regulation
$89.99
Pitiful Giants
$54.99
Beginning Node.js
$59.99
Chemische Evolution und der Ursprung des Lebens
$29.99
Digitale Fhrung und Zusammenarbeit
$49.99
The Globalization ConundrumDark Clouds behind the Silver Lining
$109.99
Die Wertsteigerungsanalyse im Managementproze
$44.99
Supply Chain Planning
$169.99
Theory and Practice from a Cognitive Perspective
$139.99
Computer Simulation of Space Plasmas
$54.99
Advanced Topics in Control Systems Theory
$84.99
222 Keywords Logistik
$9.99
Painting & Drawing: Techniques and Tutorials for Beginners
$23.81
China und Sdostasien in Geschichte und Gegenwart
$84.99
Women in Midlife
$39.99
Proceedings of 7th International Conference on Harmony Search, Soft Computing and Applications
$219.99
Hot Pot Night!
$6.71
Finanzierungspraxis von Biogasanlagen in der Landwirtschaft
$64.99
Sieve Elements
$84.99
Diagnosis and Treatment of Pulmonary Hypertension
$199.99
Similarity Problems and Completely Bounded Maps
$44.99
Einflussgre und Konsequenzen der Unternehmensfairness
$74.99
Hybrid Artificial Intelligent Systems, Part I
$39.99
Advances in Parallel, Distributed Computing
$109.99
