Your search returned 12 results.

Results
		An introduction to formal specification with Z and VDM / Deri Sheppard. by Sheppard, Deri. Material type: Book Publisher: London ; New York : McGraw-Hill, c1995Availability: Items available for loan: MTU Bishopstown Library (1). Location(s): Store Item 005.133 SHE. Place hold Add to cart (remove)
		Z user workshop : proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 / edited by J. E. Nicholls by Z User Workshop (4th : 1989 : Oxford, England) \| Nicholls, John E \| British Computer Society. Material type: Book Publisher: London : Published in collaboration with the British Computer Society [by] Springer-Verlag, c1990Availability: Items available for loan: MTU Bishopstown Library (1). Location(s): Store Item 005.133 NIC. Place hold Add to cart (remove)
		Formal specification and documentation using Z : a case study approach / Jonathan Bowen. by Bowen, Jonathan. Material type: Book Publisher: London : International Thomson Computer Press, 1996Availability: Items available for loan: MTU Bishopstown Library (1). Location(s): Lending 005.133 BOW. Place hold Add to cart (remove)
		Formal specification using Z : a modelling approach / Leonardo Bottaci and John Jones. by Bottaci, Leonardo \| Jones, John, -1994?. Material type: Book Publisher: London : International Thomson, 1995Availability: Items available for loan: MTU Bishopstown Library (1). Location(s): Lending 005.133 BOT. Place hold Add to cart (remove)
		An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till. by Potter, Ben \| Sinclair, Jane \| Till, David. Material type: Book Publisher: New York : Prentice Hall, 1991Availability: Items available for loan: MTU Bishopstown Library (2). Location(s): Store Item 005.133 POT. Place hold Add to cart (remove)
		Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni. Material type: Book Publisher: Chichester [England]. New York : J. Wiley, c1990Availability: Items available for loan: MTU Bishopstown Library (2). Location(s): Lending 005.12. Place hold Add to cart (remove)
		Z in practice / Rosalind Barden, Susan Stepney and David Cooper. by Barden, Rosalind, 1959- [author] \| Stepney, Susan, 1958- [author] \| Cooper, David, 1958- [author]. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York : Prentice Hall, 1994Availability: Items available for loan: MTU Bishopstown Library (3). Location(s): Lending 005.12. Place hold Add to cart (remove)
		Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni. Edition: 2nd ed.Material type: Book Publisher: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994Availability: Items available for loan: MTU Bishopstown Library (2). Location(s): Lending 005.133 DIL. Place hold Add to cart (remove)
		Understanding Z : a specification language and its formal semantics / J.M. Spivey. by Spivey, J. M. Material type: Book Publisher: Cambridge, [Cambridgeshire] ; New York : Cambridge University Press, 1988Availability: Items available for loan: MTU Bishopstown Library (1). Location(s): Store Item 005.133 SPI. Place hold Add to cart (remove)
		Object orientation in Z / Susan Stepney, Rosalind Barden, and David Cooper (eds.).. by Stepney, Susan, 1958- \| Barden, Rosalind, 1959- \| Cooper, David, 1958- \| British Computer Society. Material type: Book Publisher: London. New York : Springer-Verlag, c1992Availability: Items available for loan: MTU Bishopstown Library (1). Location(s): Store Item 005.12. Place hold Add to cart (remove)
		Z guide for beginners / Mike McMorran and Steve Powell. by McMorran, Mike \| Powell, Steve, 1953-. Material type: Book Publisher: London : Blackwell Scientific Publications, 1993Availability: Items available for loan: MTU Bishopstown Library (1). Location(s): Lending 005.133 MCM. Place hold Add to cart (remove)
		Introducing specification using Z : a practical case study approach / Bryan Ratcliff. by Ratcliff, B. Material type: Book Publisher: London ; New York : McGraw-Hill, c1994Availability: Items available for loan: MTU Bishopstown Library (2). Location(s): Lending 005.12. Place hold Add to cart (remove)

Powered by Koha