Introduction to Formal Specification and Z

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

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

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

Z.: An Introduction to Formal Methods,Antoni Diller

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

Introduction to Formal Specification and Z by

An Introduction to Discrete Mathematics, Formal Syst... by Ince, D. C. Paperback