Formal Techniques in Real-Time and Fault-Tolerant Systems

Name: Formal Techniques in Real-Time and Fault-Tolerant Systems
Price: 169.17 USD
Availability: InStock
ISBN: 9781461364146

ISBN-10: 1461364140

ISBN-13: 9781461364146

Edition: 1993

Authors: Jan Vytopil

List price: $169.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $169.17

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability meets the reliability requirements. The main theme of Formal Techniques in Real-Time and Fault-Tolerant Systems…

Book details

List price: $169.99
Copyright year: 1993
Publisher: Springer
Publication date: 9/27/2012
Binding: Paperback
Pages: 208
Size: 6.10" wide x 9.25" long
Weight: 0.792
Language: English