Your search returned 4 results.

Results
		Z : an introduction to formal methods / Antoni Diller by Diller, Antoni Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Chichester, West Sussex, England ; New York : Wiley, 1994 Online resources: Table of Contents Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.73.Z2 D54 1994. Place hold Log in to add tags Add to cart (remove)
		The way of Z : practical programming with formal methods / Jonathan Jacky by Jacky, Jonathan Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Cambridge ; New York, NY, USA : Cambridge University Press, 1997 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.73.Z2 J33 1997. Place hold Log in to add tags Add to cart (remove)
		Understanding Z : a specification language and its formal semantics / J.M. Spivey by Spivey, J. M Series: Cambridge tracts in theoretical computer science ; 3 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 2008 Online resources: Table of contents Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.73.Z2 S65 2008. Place hold Log in to add tags Add to cart (remove)
		Formal specification using Z / David Lightfoot by Lightfoot, David, 1951- Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Basingstoke : Palgrave Macmillan, 2001 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.73.Z2 L54 2001. Place hold Log in to add tags Add to cart (remove)