A rescued public library · 1,230 legally free books

The rescue Suggest a book

FreeTechBooks.org

Formal Methods

The Z Notation: A Reference Manual, Second Edition

by J. Michael Spivey

  • 1992
  • 158 pages
Read this book

Opens the author, publisher or archive page. FreeTechBooks does not host the file.

Cover of 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.

Bibliographic record recovered from the original FreeTechBooks listing. View archived source.

About the author

J. Michael Spivey

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…

2 books in the catalog

Browse the category

Keep exploring

Find your next free book.