Your search returned 10 results.

Results
1.	Image from Amazon.com	Formal specification using Z / David Lightfoot by Lightfoot, David Series: Grassroots series Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Basingstoke : Palgrave, 2001 Availability: Items available for loan: College of Computing and Information Science - COCIS (1)Call number: 005.133 LIG. Place hold Save to lists Add to cart (remove)
2.	Image from Amazon.com	Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni Material type: Text Publication details: Chichester [England] ; New York : New York : New York : New York : J. Wiley, c1990 Availability: Items available for loan: College of Computing and Information Science - COCIS (1)Call number: 005.133 DIL. Place hold Save to lists Add to cart (remove)
3.	Image from Amazon.com	The Z notation : a reference manual / J.M. Spivey ; based on t he work of J.R. Abrial ... [et al.]. by Spivey, J. M Series: Prentice-Hall international series in computer science Edition: 2nd ed. Material type: Text Publication details: New York : Prentice Hall, 1992 Availability: Items available for loan: College of Computing and Information Science - COCIS (1)Call number: 005.11 SPI. Place hold Save to lists Add to cart (remove)
4.	Image from Amazon.com	The Z notation : a reference manual / J.M. Spivey ; based on t he work of J.R. Abrial ... [et al.]. by Spivey, J. M Series: Prentice-Hall international series in computer science Edition: 2nd ed. Material type: Text Publication details: New York : Prentice Hall, 1992 Availability: No items available. Save to lists Add to cart (remove)
5.	Image from Amazon.com	The Z notation : a reference manual / J.M. Spivey ; based on t he work of J.R. Abrial ... [et al.]. by Spivey, J. M Series: Prentice-Hall international series in computer science Edition: 2nd ed. Material type: Text Publication details: New York : Prentice Hall, 1992 Availability: No items available. Save to lists Add to cart (remove)
6.	Image from Amazon.com	Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni Edition: 2nd ed. Material type: Text Publication details: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994 Availability: Items available for loan: Main Library - IDA Extension (3)Call number: 005.12 DIL, ... Place hold Save to lists Add to cart (remove)
7.	Image from Amazon.com	Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni Edition: 2nd ed. Material type: Text Publication details: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994 Availability: No items available. Save to lists Add to cart (remove)
8.	Image from Amazon.com	Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni Edition: 2nd ed. Material type: Text Publication details: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994 Availability: No items available. Save to lists Add to cart (remove)
9.	Image from Amazon.com	Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni Edition: 2nd ed. Material type: Text Publication details: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994 Availability: No items available. Save to lists Add to cart (remove)
10.	Image from Amazon.com	Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni Edition: 2nd ed. Material type: Text Publication details: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994 Availability: No items available. Save to lists Add to cart (remove)