Your search returned 4 results.

Results
		An Introduction to Z by Imperato, Michael [author] Material type: Text Language: English Publication details: Bromley, Kent : Chartwell-Bratt, c1991 Online access: Table of Contents Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 005.1 IMP.
		Software Development with Z a Practical Approach to Formal Methods in Software Engineering by Wordsworth, J. B [author] Series: International Computer Science Series Material type: Text Language: English Publication details: Harlow : Addison-Wesley, c1992 Online access: Table of Contents Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 005.12 WOR.
		Z An Introduction to Formal Methods by Diller, Antoni [author] Edition: 2nd Material type: Text Language: English Publication details: Chichester : John Wiley, c1994 Online access: Table of Contents Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 005.12 DIL.
		The Way of Z Practical Programming with Formal Methods by Jacky, Jonathan [author] Material type: Text Language: English Publication details: Cambridge : Cambridge University Press, c1997 Online access: Table of Contents Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 005.12 JAC.

Refine your search