Hardcover Book Paperback Book
Show unavailable items

Releases by Davies, Jim (University of Oxford)

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)