SHOPPING CART $0.00
free shipping on orders over $35*
BUYBACK CART Buyback Cart Total Buyback Cart Total
free shipping on buybacks!
loading

    Formal Techniques in Real-Time and Fault-Tolerant Systems

    ISBN-10: 1461364140
    ISBN-13: 9781461364146
    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 will ship on Wednesday, March 4.

    The first one is FREE! All the information you need in one place—a topical tool kit in digital form. Through June 15, 2015, 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: $1.99
    Study Briefs
    SQL
    ?
    Digital only List price: $1.99
    Study Briefs
    MS Excel 2010
    ?
    Digital only List price: $1.99
    Study Briefs
    MS Word 2010
    ?
    Digital only List price: $1.99
    Loading
    Customers Also Bought

    Publisher: Springer-Verlag New York Inc.
    Binding: Paperback
    Pages: 221
    Size: 4.72" wide x 61.02" long x 92.52" tall
    Weight: 781.000
    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.

    Buy it from $230.36

    Please choose a buying option

    Your Price:
    You save:
    Buy It Now
    what's this?
    Rush Rewards U
    Members Receive:
    coins
    coins
    You have reached 400 XP and carrot coins. That is the daily max!
    ×
    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.

    ×