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:
Buy Formal Techniques in Real-Time and Fault-Tolerant Systems for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Multimodal Composing in K-16 ESL and EFL Education
$129.00
Machine Learning, Optimization, and Data Science
$79.99
Fortschritte der Hochpolymeren-Forschung / Advances in Polymer Science
$39.99
Sir Cumference and the Dragon of Pi
$5.96
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Health, O
$79.99
Die Chromgerbung
$59.99
Innovative Computing and Communications
$249.99
Instabilities in Dynamical Systems
$54.99
Evolution Education in the American South
$119.99
Alzheimer
$17.56
Theorie der Elektronenbeweglichkeit in Halbleitern
$54.99
The Unexpected Adventure of Fluffen the Bear
$4.46
The Semantics of Relationships
$54.99
Seis das
$5.96
Online Resilience and Wellbeing in Young People
$64.99
Eurasian Borderlands
$159.99
Abgrnde der Informatik
$29.99
Crystal Chemistry and Properties of Materials with Quasi-One-Dimensional Structures
$219.99
Quellen und Studien zur Geschichte der Mathematik
$39.99
Breaking the Boundaries
$84.99
Is It Really a Sea Animal?
$3.71
Economic Diversification and Growth in Africa
$59.99
Buchfhrung 2 DATEV-Kontenrahmen 2023
$19.99
Lsungen zum Lehrbuch Buchfhrung 2 DATEV-Kontenrahmen 2023
$24.99
Limits of Predictability
$39.99
Electrocatalysis in Fuel Cells
$169.00
New-Generation Cement-Based Nanocomposites
$199.99
Dienstleistungsmanagement im Krankenhaus I
$69.99
Emanationsmessungen der Gasteiner Thermalquellen
$54.99
Baltic Computer Science
$84.99
Technical Safety An Attribute of Quality
$84.99
Chemical and Biological Applications of Relaxation Spectrometry
$39.99
Turbulence in Fluids
$84.99
Towards Green Cities
$129.99
Computational Science ICCS 2009
$169.99
Automated Technology for Verification and Analysis
$39.99
Mindfulness and Buddhist-Derived Approaches in Mental Health and Addiction
$69.99
Konstruktion ebener Kurventriebe und vergleichende Analyse ihrer Bewegungsgesetze
$49.99
Die politischen Systeme Sdostasiens
$49.99
Modeling in Computer Graphics
$39.99
