by Jim Davies
Paperback
ISBN: 978-1-107-40386-4
ISBN-10: 1-107-40386-3
Cambridge University Press · 2012
|
|
by Jim DaviesPaperback
ISBN: 978-1-107-40386-4 ISBN-10: 1-107-40386-3 Cambridge University Press · 2012 |
| See also: | ||
| 2010 | Printed Access Code | Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science) |
| 1993 | Hardcover | Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science) |