All Categories /
Computers & Technology /
Programming

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Series Number 6)

(2)
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Series Number 6) image
ISBN-10:

1107403863

ISBN-13:

9781107403864

Author(s): Davies, Jim
Edition: 1
Released: Jan 12, 2012
Publisher: Cambridge University Press
Format: Paperback, 200 pages
Related ISBN: 9780521450553
Find in Library

Description:

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 the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method for structuring CSP descriptions of layered protocols is given. The research contained here represents the very latest work on the specification and verification of real-time systems.

Best prices to buy, sell, or rent ISBN 9781107403864

‌
‌
‌

Frequently Asked Questions about Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Series Number 6)

You can buy the Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Series Number 6) book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from ‌ and is $‌ for the ‌.

The price for the book starts from $37.18 on Amazon and is available from 7 sellers at the moment.

If you’re interested in selling back the Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Series Number 6) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.

As for the Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Series Number 6) book, the best buyback offer comes from ‌ and is $‌ for the book in good condition.‌

‌‌‌‌‌‌‌‌‌‌

The Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Series Number 6) book is in very low demand now as the rank for the book is 11,113,221 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.

Not enough insights yet.