Releases by Davies, Jim (University of Oxford)

All2
Hardcover Book1
Paperback Book1

In stock at iMusic Show unavailable items

Cover for Davies, Jim (University of Oxford) · Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science (Paperback Book) (2012)

Specification and Proof in Real ... (2012)

Davies, Jim (University of Oxford)

Cover for Davies, Jim (University of Oxford) · Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science (Hardcover Book) (1993)

Specification and Proof in Real ... (1993)

Davies, Jim (University of Oxford)