Rigorous Development of Complex Fault-Tolerant Systems: 4157 (Lecture Notes in Computer Science) - Tapa blanda

Butler, Michael

 
9783540482659: Rigorous Development of Complex Fault-Tolerant Systems: 4157 (Lecture Notes in Computer Science)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783540832218: Rigorous Development of Complex Fault-Tolerant Systems

Edición Destacada

ISBN 10:  3540832211 ISBN 13:  9783540832218
Editorial: Springer, 2008
Tapa blanda