3T) - books

The following book is essential for this course unit:

The following books are also recommended as alternative reading:

Formal Documentation using Z: A Case Study Approach, Jonathan Bowen. International Thomson Computer Press, 1996. ISBN 1-85032-230-9.
Brief introduction to Z and more advanced case study example specification.
An Introduction to Formal Specification and Z, Ben Potter, Jane Sinclair and David Till. Prentice Hall International Series in Computer Science, 2nd edition, 1996. ISBN 0-13-242207-7.
Good and widely use Z textbook.
Using Z: Specification, Refinement and Proof, Jim Woodcock and Jim Davies. Prentice Hall International Series in Computer Science, 1996. ISBN 0-13-948472-8.
Covers software development and proofs in more detail; good for the more mathematically oriented.
The Z Notation: A Reference Manual, Mike Spivey. Prentice Hall International Series in Computer Science, 2nd edition, 1992. ISBN 0-13-978529-9.
Useful for reference by the more serious Z specifier.

Part of the Part II Formal Methods unit (2/CS/3T), by Jonathan Bowen and Nimal Nissanke.