Rigorous Development of Complex Fault-Tolerant Systems
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.
CHF 100.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Jones, Cliff (Hrsg.) / Romanovsky, Alexander (Hrsg.) / Troubitsyna, Elena (Hrsg.)
- ISBN: 978-3-540-48267-3
- EAN: 9783540482673
- Produktnummer: 33302869
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2006
- Seitenangabe: 406 S.
- Plattform: PDF
- Masse: 5'622 KB
- Auflage: 2006
- Abbildungen: Bibliographie
23 weitere Werke von Michael (Hrsg.) Butler:
Bewertungen
Anmelden