Formal Techniques in Real-Time and Fault-Tolerant Systems:

ISBN-10: 1461364140
ISBN-13: 9781461364146
Edition: 2012
Author(s): Jan Vytopil
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  More...
Buy it from: $230.36
This item qualifies for FREE SHIPPING
30 day, 100% Satisfaction Guarantee

New Starting from: $230.36

what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!
Study Briefs®
The first one is FREE! All the information you need in one place—a subject summary in digital form. For a limited time, add a Study Brief to your cart with a book purchase or rental and the discount will be applied at checkout.
Study Briefs
Calculus 1
?
Digital only List price: $4.95
Sale price: $1.99
Study Briefs
SQL
?
Digital only List price: $4.95
Sale price: $1.99
Study Briefs
MS Excel® 2010
?
Digital only List price: $4.95
Sale price: $1.99
Study Briefs
MS Word® 2010
?
Digital only List price: $4.95
Sale price: $1.99
Study Briefs
MS PowerPoint® 2010
?
Digital only List price: $4.95
Sale price: $1.99
Loading
Customers Also Bought

Copyright Year: 2012
Publisher: Springer-Verlag New York Inc
Binding: Paperback
Size: 6.10" wide x 9.20" long
Language: English

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 can be formulated as follows: how do the specification, development and verification of conventional and fault-tolerant systems differ? How do the notations, methodology and tools used in design and development of fault-tolerant and conventional systems differ? Formal Techniques in Real-Time and Fault-Tolerant Systems is divided into two parts. The chapters in Part One set the stage for what follows by defining the basic notions and practices of the field of design and specification of fault-tolerant systems. The chapters in Part Two represent the how-to' section, containing examples of the use of formal methods in specification and development of fault-tolerant systems. The book serves as an excellent reference for researchers in both academia and industry, and may be used as a text for advanced courses on the subject.

×
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.

×