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