Similar Listings
Using Z: Specification, Refinement, and Proof (Prentice-hall International S...
Prentice-Hall International Series in Computer Science Ser.: Using Z :...
Using Z: Specification, Refinement, and Proof (Prentice-Hall Int
Using Z : Specification, Refinement, and Proof - Woodcock, Jim
An Introduction to Formal Specification and Z (Prentice-Hall International Serie
Philosophy Of Language PrenticeHall Founda o Philosophy Series. Alston, SC 1964
An Introduction to Formal Specification and Z (Prentice-Hall International Serie
Introduction to Formal Specification and Z (Prentice-Hall International Series