Rigorous Development of Complex Fault-Tolerant Systems - Programming and Software Engineering 4157 (Paperback)Michael Butler (editor), Cliff Jones (editor), Alexander Romanovsky (editor), Elena Troubitsyna (editor)
- We can order this from the publisher
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 406
Weight: 710 g
Dimensions: 235 x 155 x 21 mm
Edition: 2006 ed.
You may also be interested in...
Would you like to proceed to the App store to download the Waterstones App?
Or, add to basket, pay online, collect in as little as 2 hours, subject to availability.