An Introduction to Formal Specification With Z and Vdm

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

Z: An Introduction to Formal Methods

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

Introduction Formal Specification And Z (2nd Edition) By Ben Pot

An Introduction to Formal Specification and Z (Prent... by Till, David Paperback

Introduction to Formal Specification and Z (Prentice-Hall International Series