by J. M. Spivey
Hardcover
ISBN: 978-0-521-33429-7
ISBN-10: 0-521-33429-2
Cambridge University Press · 1988
|
|
by J. M. SpiveyHardcover
ISBN: 978-0-521-33429-7 ISBN-10: 0-521-33429-2 Cambridge University Press · 1988 |
| See also: | ||
| 2008 | Paperback | Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science) |