CURRENTLY SOLD OUT

Specification and Proof in Real Time CSP by Jim Davies (Paperback, 2012)