Specification and Proof in Real Time CSP by Jim Davies

Specification and Proof in Real Time CSP

Distinguished Dissertations in Computer Science

Jim Davies

200 pages missing pub info (editions)

nonfiction computer science science medium-paced
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...

Read more

Community Reviews

Loading...

Content Warnings

Loading...