1627685
9780521450553
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
by Jim Davies
by Jim Davies
About this item
- Condition: New
- Provider: buybestbooks15 Contact
- Provider Rating: 41%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New Book Original US edition, We Ship to PO BOX Address also.
Product details
- ISBN-13: 9780521450553
- ISBN: 0521450551
- Publication Date: 1993
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
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 behaviour of critical safety systems. The research contained here represents the very latest work on the specification and verification of real-time systems.Jim Davies is the author of 'Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)', published 1993 under ISBN 9780521450553 and ISBN 0521450551.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
