Verwandte Artikel zu Rigorous Development of Complex Fault-Tolerant Systems:...
Rigorous Development of Complex Fault-Tolerant Systems: 4157 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 45,60
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Rigorous Development of Complex Fault-Tolerant Systems:...
Beispielbild für diese ISBN
Rigorous Development Of Complex Fault-tolerant Systems
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-241182
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Rigorous Development Of Complex Fault-tolerant Systems
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-90996
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science, 4157)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Bestandsnummer des Verkäufers SHAK241182
Anzahl: 1 verfügbar
Foto des Verkäufers
Rigorous Development of Complex Fault-Tolerant Systems
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 6429896-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science, 4157)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783540482659
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science, 4157)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020168183
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rigorous Development of Complex Fault-Tolerant Systems
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 420. Bestandsnummer des Verkäufers 26302259
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Rigorous Development of Complex Fault-Tolerant Systems (Paperback)
ISBN 10: 3540482652
ISBN 13: 9783540482659
Neu
Paperback
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages. Brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783540482659
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Rigorous Development of Complex Fault-Tolerant Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used. pp. 420 Illus. Bestandsnummer des Verkäufers 7545708
Anzahl: 1 verfügbar
Foto des Verkäufers
Rigorous Development of Complex Fault-Tolerant Systems
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 6429896
Anzahl: Mehr als 20 verfügbar