Your search returned 4 results.

Results
		An introduction to formal specification and Z Ben Potter, Jane Sinclair [and] David Till. [Books]. by Potter, Ben \| Sinclair, Jane \| Till, David. Series: Prentice Hall International Series in Computer ScienceMaterial type: Text; Format: print Publication details: New York Prentice Hall 1991Availability: Items available for loan: Universiti Teknologi Brunei Library (1)Call number: QA/76.6 POT. Place hold Add to cart (remove)
		Object orientation in Z Susan Stepney, Rosalind Barden and David Cooper. [Books]. by Stepney, Susan \| Barden, Rosalind. Series: Workshops in computingMaterial type: Text; Format: print Publication details: London British Computer Society 1992Availability: Items available for loan: Universiti Teknologi Brunei Library (1)Call number: QA/76.73.Z2 STE. Place hold Add to cart (remove)
		Understanding Z : a specification language and its formal semantics [Books]. by Spivey, J.M. Material type: Text; Format: print Publication details: Cambridge Cambridge University Press 1988Availability: Items available for loan: Universiti Teknologi Brunei Library (1)Call number: QA/76.73.Z2 SPI. Place hold Add to cart (remove)
		The Z notation : a reference manual J. M. Spivey. [Books]. by Spivey, J. M. Material type: Text; Format: print Publication details: New York Prentice Hall 1989Availability: Items available for loan: Universiti Teknologi Brunei Library (2)Call number: QA/76.73.Z2 SPI, ... Place hold Add to cart (remove)

Refine your search