Using Z: Specification, Proof and Refinement

Using Z: Specification, Proof and Refinement, 1/e

J.C.P. Woodcock, Oxford University Program. Res. Group

Published May, 1996 by Prentice Hall PTR (ECS Professional)

See other books about:
Software Engineering--Advanced-Computer Science

Introductory and advanced level text. Provides a complete guide to Z and shows how to make pragmatic use of the notation. Using Z covers all aspects of the Z notation, including specification, rigorous and formal proof, and refinement into code. It sets out to explain the principles and practice of formal development of programs using Z.