Rigorous Development of Complex Fault-Tolerant Systems

Released on by Michael Butler
preview-18

  • Rigorous Development of Complex Fault-Tolerant Systems Book Detail

  • Author : Michael Butler
  • Release Date : 2006-11-23
  • Publisher : Springer
  • Genre : Computers
  • Pages : 413
  • ISBN 13 : 3540482679
  • File Size : 79,79 MB
DOWNLOAD BOOK

Rigorous Development of Complex Fault-Tolerant Systems by Michael Butler PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Rigorous Development of Complex Fault-Tolerant Systems books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.