Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540459651
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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