Zbook.pdf(file size: 819 KB, MIME type: application/pdf)


Formal Specification and Documentation using Z: A Case Study Approach.

A book on the Z notation by Jonathan Bowen.

Originally published by International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-850-32230-9.

Revised 2003.


This file is copyrighted. The copyright holder has given permission for its use.

File history

Click on a date/time to view the file as it appeared at that time.

current15:54, October 31, 2009 (819 KB)Jpbowen (Talk | contribs)''Formal Specification and Documentation using Z: A Case Study Approach'' Book by Jonathan Bowen. Revised 2003.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.