Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

by Jim Davies

Printed Access Code

ISBN: 978-0-511-56976-0

ISBN-10: 0-511-56976-9

Cambridge University Press · 2010

See also:
2012PaperbackSpecification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
1993HardcoverSpecification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)