-18% The Springer International Engineering a Formal Techniques in Real-Time and Fault-Tolerant Systems Book 221 (Hardcover)

The Springer International Engineering a Formal Techniques in Real-Time and Fault-Tolerant Systems Book 221 (Hardcover)

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...


Walmart

$164.18 $134.12
Free Delivery

Go to store

Ads related to the springer international engineering a formal techniques in real-time and fault-tolerant systems book 221 hardcover

The Springer International Engineering a Formal Techniques in Real-Time and Fault-Tolerant Systems Book 221 Hardcover from other stores

  • -18% The Springer International Engineering a Formal Techniques in Real-Time and Fault-Tolerant Systems Book 221 (Hardcover)
    Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state... 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
    Details
    $164.18 $134.12 Free Delivery Go to store
  • The Springer International Engineering a Formal Techniques in Real-Time and Fault-Tolerant Systems Book 221 (Paperback)
    Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state... 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
    Details
    $152.31 Free Delivery Go to store
  • Pre-Owned The Springer International Engineering and Computer Science: Formal Techniques in Real-Time and Fault-Tolerant Systems (Hardcover)
    Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state... 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
    Details
    $183.97 Free Delivery Go to store
  • -16% The Springer International Engineering a Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism Book 345 (Hardcover)
    Real-time computer systems are very often subject to dependability requirement... Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems control of power plants industrial process control systems and others are required to continue... more
    Details
    $159.37 $134.16 Free Delivery Go to store
  • The Springer International Engineering a Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems Book 297 (Paperback)
    Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems pr... Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. It lays the groundwork for a more comprehensive model that... more
    Details
    $211.15 Free Delivery Go to store
  • The Springer International Engineering a Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism Book 345 (Paperback)
    Real-time computer systems are very often subject to dependability requirement... Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems control of power plants industrial process control systems and others are required to continue... more
    Details
    $153.60 Free Delivery Go to store
  • Pre-Owned The Springer International Engineering and Computer Science: Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism (Hardcover)
    Real-time computer systems are very often subject to dependability requirement... Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems control of power plants industrial process control systems and others are required to continue... more
    Details
    $180.00 Free Delivery Go to store
  • -40% Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Work Book 863 (Paperback)
    This volume presents the proceedings of the Third International Symposium on F... This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck Germany in September 1994. The... more
    Details
    $179.00 $107.81 Free Delivery Go to store
  • -44% Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium Ftrtft 98 Lyngby Denmark Sept Book 1486 (Paperback)
    This book constitutes the refereed proceedings of the 5th International Sympos... This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT 98 held in Lyngby Denmark in September 1998. The 22 revised full papers presented were carefully... more
    Details
    $99.00 $54.99 Free Delivery Go to store
  • Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen the Netherlands Ja Book 571 (Paperback)
    This book presents latest research results on problems and solutions in safety... This book presents latest research results on problems and solutions in safety-critical system design. Logic process algebra and action/event models are applied to specification modeling analysis and verification of real-time and fault-tolerant... more
    Details
    $107.81 Free Delivery Go to store
  • Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium Ftrtft 2002 Co-Sponsored by Ifi Book 2469 (Paperback)
    This volume contains the proceedings of FTRTFT 2002 the International S- posiu... This volume contains the proceedings of FTRTFT 2002 the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Oldenburg Germany 9-12 September 2002. This sym- sium was the seventh in a series... more
    Details
    $54.99 Free Delivery Go to store
  • -6% Pre-Owned The Springer International Engineering and Computer Science: Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems (Paperback)
    Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems pr... Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. It lays the groundwork for a more comprehensive model that... more
    Details
    $249.59 $234.35 Free Delivery Go to store
  • Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium Ftrtft 2000 Pune India Septemb Book 1926 (Paperback)
    The six Schools and Symposia on Formal Techniques in Real Time and Fault Toler... The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity and from being under the scrutiny of a few interested... more
    Details
    $54.99 Free Delivery Go to store
  • Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala Sweden September 9 - 1 Book 1135 (Paperback)
    This volume constitutes the refereed proceedings of the Fourth International S... This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFTS 96 held in Uppsala Sweden in September 1996. The 22 revised full papers presented were... more
    Details
    $54.99 Free Delivery Go to store
  • -13% Pre-Owned Lecture Notes in Computer Science: Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium Ftrtft 98 Lyngby Denmark September 14-18 1998 Proceedings (Paperback)
    This book constitutes the refereed proceedings of the 5th International Sympos... This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT 98 held in Lyngby Denmark in September 1998. The 22 revised full papers presented were carefully... more
    Details
    $69.97 $61.06 Free Delivery Go to store
Items per page

Ads related to the springer international engineering a formal techniques in real-time and fault-tolerant systems book 221 hardcover