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