The Z Notation: A Reference Manual, Second Edition
A reference manual for the Z Notation, a formal specification notation used for specifying and designing softwares.
Tag(s): Formal Methods
Publication date: 01 Jun 1992
ISBN-10: 0139785299
ISBN-13: 9780139785290
Paperback: 158 pages
Views: 21,122
The Z Notation: A Reference Manual, Second Edition
About The Author(s)
Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.
Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.