Introduction to Formal Specification and Z

Structured System Programming - Hardcover, by Welsh James - Very Good

An Introduction to Formal Specification With Z and Vdm

Sequential Program Structures by J.Welsh, J.Elder, D.Bustard - 1984 Hardcover

Introduction to the Theory of Complexity (Prentice Hall International Series...

Object-oriented software construction (Prentice-Hall International series in...

An Introduction to Formal Specification and Z (Prentice-Hall International Serie

Introduction Formal Specification And Z (... by Potter, Ben Paperback / softback