• Home >
  • Buy >
  • Nonfiction >

  • Formal Techniques in Real-Time and Fault-Tolerant Systems (1992, Paperback)

Formal Techniques in Real-Time and...
bookmonger.ltd(2,784)99.9%
Very Good
$19.31
+$3.99
Save 81%*
*Learn more
Formal Techniques in Real-Time and Fault-Tolerant Systems (1992, Paperback) 
Formal Techniques in Real-Time and Fault-Tolerant Systems (1992, Paperback)
Publisher: Springer Verlag
Publication Date: 1992-01-01
Series: Lecture Notes in Computer Science
Language: English
Format: Paperback
ISBN-10: 0387550925
ISBN-13: 9780387550923
Product ID: EPID131058
Save this productSell oneWrite a review
Portions of this page Copyright 1995 - 2009 Muze Inc. All rights reserved.
Refine search
Preferences
Distance
Please enter valid zipcode.
Please select a valid popular city.
Please enter valid zipcode or select a valid popular city.
Within miles of ZIP
4 results|Group by condition
Details
Publication Date:1992-01-01
Series:Lecture Notes in Computer Science
Editor:J. Vytopil

Industry Reviews
A selection of papers that focus on the state-of-the-art in formal specification, development, and verification of fault-tolerant computing systems. The volume is divided into two parts. Part One, "Concepts and Foundations," defines the basic notions and practices of the field of design and specification of fault-tolerant systems. Part Two, "Applications," contains examples of the use of formal methods in specification and development of fault-tolerant systems. Annotation copyright Book News, Inc. Portland, Or.
SciTech Book News

See an error? Submit a change request

    About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help
    Copyright © 1995-2009 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
    eBay official time

    Error
    We're sorry, but there's been an error.
    Please try again.