Directory of Books Resources

This category holds links to books on the Z formal specification language.

Resources in This Category

Amazon.com: Z Programming

http://www.amazon.com/s/url=search-alias%3Dstripbooks&field-keywords=z+programming
Lists books for sale on the topic of Z programming. Includes descriptions of individual books, reviews and purchase information.
Object Orientation in Z

http://www-users.cs.york.ac.uk/~susan/bib/ss/ooz/index.htm
Edited by Susan Stepney, Rosalind Barden, David Cooper; Springer-Verlag, 1992, ISBN 3540197788. Set of papers showing many ways to add OO concepts and structuring to Z. Each shows same problems, for comparing. [University of York]
The Way of Z: Practical Programming with Formal Methods

http://staff.washington.edu/jon/z-book/
By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary. [University of Washington]
The Z Notation: A Reference Manual

http://spivey.oriel.ox.ac.uk/mike/zrm/
J. Mike Spivey; Prentice Hall, International Series in Computer Science, 1988, 1992, 2001, ISBN 0139785299. Standard reference work for Z. Description, free downloads: PostScript, PDF, LaTeX. [University of Oxford]

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us