- Anglický jazyk
Rigorous Development of Complex Fault-Tolerant Systems
Autor: Michael Butler
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... Viac o knihe
Na objednávku
49.49 €
bežná cena: 54.99 €
O knihe
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.
- Vydavateľstvo: Springer Berlin Heidelberg
- Rok vydania: 2006
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783540482659