J.M. · J. S. · J Spivey · M S.
Cambridge University Press · Prentice Hall
| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| An Introduction to Logic Programming Through Prolog | Textbook Binding | 978-0-13-536047-7 | 1996 | Michael Spivey |
| The Z Notation: A Reference Manual | Paperback | 978-0-13-978529-0 | 1992 | |
| The Z notation: A reference manual | " | 978-0-13-983768-5 | 1989 | |
| Understanding Z: A Specification Language and its Formal Semantics | " | 978-0-521-05414-0 | 2008 | |
| Understanding Z: A Specification Language and its Formal Semantics | Hardcover | 978-0-521-33429-7 | 1988 | |