Formal Techniques in Real-Time and Fault-Tolerant Systems

$299.00
+ $13.99 Shipping
  • product image
Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • Brand: Unbranded
Sold by:

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • Brand: Unbranded

$299.00

In stock
+ $13.99 Shipping

14-Day Returns Policy

Sold by:

$299.00

In stock
+ $13.99 Shipping

14-Day Returns Policy

Payment methods:

Description

Formal Techniques in Real-Time and Fault-Tolerant Systems

I Concepts and Foundations. - 1 Terminology and Paradigms for Fault Tolerance. - 2 Fault Tolerance as Self-Similarity. - 3 Parameterized Semantics for Fault Tolerant Real-Time Systems. - 4 Modeling Real-Time and Reliability. - II Applications. - 5 A Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems. - 6 Specification and Verification of Recovery in Asynchronous Communicating Systems. - 7 CSP Formal Software Engineering and the Development of Fault-Tolerant Systems. Language: English
  • Brand: Unbranded
  • Category: Computing & Internet
  • Artist: Jan Vytopil
  • Format: Paperback
  • Language: English
  • Publication Date: 2012/09/27
  • Publisher / Label: Springer
  • Number of Pages: 208
  • Fruugo ID: 340631226-747129493
  • ISBN: 9781461364146

Delivery & Returns

Dispatched within 4 days

  • STANDARD: $13.99 - Delivery between Thu. 12 February 2026–Wed. 18 February 2026

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy