Skip to main content
PBS logo
 
 

Search - Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science
Author: Jim Davies
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 consequences. It is important therefore that we are able to employ mathematical techniques to specify the behavior of critical systems. This thesis uses th...  more »
ISBN-13: 9780521450553
ISBN-10: 0521450551
Publication Date: 6/25/1993
Pages: 198
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.