Koha online catalog › Results of search for 'su:"Z - Computer program language"'

Log in

	1.	Introduction to formal specification and Z by Potter, Ben \| Sinclair, Jane \| Till, David. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: Harlow Pearson Prentice Hall 1996Availability: Items available for loan: [Call number: 005.12 POT] (1). Place hold
	2.	Formal object-oriented specification using Object-Z by Duke, Roger \| Rose, Gordon. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Basingstoke: MacMillan, 2000Availability: Items available for loan: [Call number: 005.117 DUK] (1). Place hold
	3.	Understanding Z : a specification language and its formal semantics by Spivey, J. M. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 1988Availability: Items available for loan: [Call number: 005.133 SPI] (1). Place hold
	4.	Way of Z : practical programming with formal methods by Jacky, Jonathan. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge Cambridge University Press 1997Availability: Items available for loan: [Call number: 005.12 JAC] (1). Place hold
	5.	Object-Z Specification Language by Smith, Graeme. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 005.117 SMI] (1). Place hold
	6.	Formal specification using Z. by Lightfoot, David. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: Basingstoke: Palgrave, 2001Availability: Items available for loan: [Call number: 005.133 LIG] (1). Place hold

Powered by Koha