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
Mme de Stal and Political Liberalism in France
$119.99
Seriality and Texts for Young People
$39.99
Erfolgssicherung von Marken durch Authentizitt
$69.99
Sex-Specific Analysis of Cardiovascular Function
$329.99
Workforce Development
$109.99
The Semantic Web - ISWC 2002
$39.99
New Technologies to Improve Patient Rehabilitation
$64.99
Transactions on Computational Collective Intelligence XXXVII
$69.99
Transition bei neurologischen Erkrankungen
$49.99
Psychologische Tests und mehrwertige Logik
$59.99
Mobilittsbezogene Einstellungen beim bergang vom Kindes- ins Jugendlichenalter
$44.99
Clinical PET and PET/CT
$109.99
Heavy Quark Effective Theory
$84.99
Re-examining Sovereignty
$109.99
Photonuclear Reactions I
$39.99
Reflexionsfhigkeit von Lehrkrften ber metakognitive Schlerprozesse beim mathematischen Modellier
$49.99
Soziale Arbeit in der konomisierungsfalle?
$49.99
Evaluation of Research and Development
$109.99
The Civil War Text Set: Grade 5
$285.00
Cerebrovascular Evaluation with Doppler Ultrasound
$54.99
The Witching Wind (Hardcover)
$13.49
IUTAM Symposium on Optimization of Mechanical Systems
$39.99
Modern Hydroforming Technology
$199.99
Explaining Disease: Philosophical Reflections on Medical Research and Clinical Practice
$89.00
Nathan Zuntz
$89.99
HOX Gene Expression
$219.99
Von der Produktidee zum Markterfolg
$69.99
Reason and the Search for Knowledge
$329.99
Renormalized Supersymmetry
$39.99
Entrepreneurial Cognition
$31.00
Lexikon der Notfallmedizin
$74.99
Nuclear Matter in Different Phases and Transitions
$39.99
Literarische Vernunftkritik im Roman der Gegenwart
$84.99
Infrastructure and Environment
$219.99
Handbook of Evolutionary Machine Learning
$189.00
Paradigms in Green Chemistry and Technology
$54.99
Cross-linguistic Influences in Multilingual Language Acquisition
$169.99
250 Keywords Personalmanagement
$14.99
Berechenbarkeit und Unlsbarkeit
$39.99
Non-Western Theories of International Relations
$84.99
