Formal Methods Prog Verificatn Hardcover Berg

Using Z: Specification, Refinement, and Proof (Prentice-hall International S...

Formal Specification of Programming Lan- 9780133290523, hardcover, Frank G Pagan

Introduction Formal Specification And Z (2nd Edition) (Prentice-

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

Using Z: Specification, Refinement, and Proof (Prentice-hall International...

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

Philosophy Of Language PrenticeHall Founda o Philosophy Series. Alston, SC 1964