Copied Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
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.
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 |
Reviews
Questions & Answers
Reliability of Nanoscale Circuits and Systems
$109.99
Transaction Management Support for Cooperative Applications
$169.99
Theory and Applications of Models of Computation
$139.00
Advanced Nano-Bio Technologies for Water and Soil Treatment
$199.99
Fundamentals of Powder Diffraction and Structural Characterization of Materials, Second Edition
$119.99
Edmond Halleys Reconstruction of the Lost Book of Apolloniuss Conics
$89.00
Evolution of Dynamical Structures in Complex Systems
$109.99
Betriebsstatistik
$59.99
Facial Plastic and Reconstructive Surgery
$99.00
Verhandlungsbericht 1984 der Deutschen Gesellschaft fr Hals- Nasen- Ohren-Heilkunde, Kopf- und Hals
$59.99
Manual of Biological Markers of Disease
$39.99
Proceedings of the Fourth Annual Tri-Service Conference on the Biological Effects of Microwave Radia
$54.99
Beliefs, Interactions and Preferences
$169.99
Mathematik fr konomen
$49.99
Major Energy Companies of Europe 1989/90
$39.99
Remembering
$19.99
Grant Proposals that Succeeded
$54.99
Cities and the Digital Revolution
$54.99
Reptilian Lungs
$109.99
Design Thinking Research
$199.99
Wave Physics
$74.99
Pediatric Genetics and Inborn Errors of Metabolism
$54.99
Cognitive and Neuropsychological Approaches to Mental Imagery
$39.99
Chinas Rise and the Development of Asian Regional Integration
$119.99
Multi-Wave Mixing Processes
$199.00
Efficient Dynamic Simulation of Robotic Mechanisms
$109.99
Euro-Par 2017: Parallel Processing Workshops
$54.99
China Satellite Navigation Conference (CSNC) 2013 Proceedings
$219.99
Patentmanagement
$84.99
Energy Technology 2021
$169.99
Markenwert und Markenwertermittlung
$74.99
Religionsphilosophie
$19.99
Beckett and Eros
$109.99
Proceedings of 10th International Conference on Mechatronics and Control Engineering
$149.00
Fuzzy Algebraic Hyperstructures
$169.99
Dual Markets
$169.99
Cognitive Constraints on Communication
$219.99
Geschichte der englischen Erziehung
$59.99
Proceedings of the 5th China High Resolution Earth Observation Conference (CHREOC 2018)
$169.99
Chemistry for a Clean and Healthy Planet
$169.99
