Specification and Proof in Real Time CSP

by Jim Davies (cognitive scientist)

Book Overview

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1107403863
• ISBN13: 9781107403864
• Release Date: January 2012
• Publisher: Cambridge University Press
• Length: 200 Pages
• Weight: 0.72 lbs.
• Dimensions: 0.4" x 6.7" x 9.6"