Skip to content

Specification and Proof in Real Time CSP

by Jim Davies

Real-time data processing
Writing a summary for young readers…

For young readers

Book data: Open Library