You need to sign in or sign up before continuing.

Specification and Proof in Real Time CSP by Jim Davies

Distinguished Dissertations in Computer Science

Specification and Proof in Real Time CSP

Jim Davies

200 pages hardcover

2 editions

nonfiction computer science science medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

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 abl...

Show More

Community Reviews

Loading...

Content Warnings

Loading...