Rigorous Development of Complex Fault-Tolerant Systems
- Michael Butler
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹2,627Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Rigorous Development of Complex Fault-Tolerant Systems is written by Michael Butler and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3540482652 (ISBN 10) and 9783540482659 (ISBN 13).
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.
