Taylor's Library catalog › Results of search for '6733'

Your search returned 7 results.

Not what you expected? Check for suggestions

		Z : an introduction to formal methods / Antoni Diller by Diller, Antoni. Edition: 2nd ed.Publisher: Chichester, West Sussex : John Wiley, 1994Availability: Items available for loan: Taylor's Library-TU [Call number: 005.12 DIL] (2). Place hold
		The essence of Z / Ed Currie. by Currie, Ed. Publisher: London : Prentice Hall, [1999]Copyright date: ©1999Availability: Items available for loan: Taylor's Library-TU [Call number: 004.072 CUR] (1). Place hold
		The way of Z : practical programming with formal methods / Jonathan Jacky. by Jacky, Jonathan. Publisher: Cambridge [U.K.] : Cambridge University Press, 1997Availability: Items available for loan: Taylor's Library-TU [Call number: 005.12 JAC] (1). Place hold
		An introduction to formal specification and Z / Ben Potter, Jane Sinclair and David Till by Potter, Ben \| Sinclair, Jane [(j.a.)] \| Till, David [(j.a.)]. Edition: 2nd ed.Publisher: England ; New York : Prentice Hall, 1996Availability: Items available for loan: Taylor's Library-TU [Call number: 005.12 POT] (4). Place hold
		The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.] by Spivey, J.M \| Abrial, J. R. Edition: 2nd ed.Publisher: N.Y. : Prentice-Hall International (UK), 1992Availability: Items available for loan: Taylor's Library-TU [Call number: 005.11 SPI] (1). Place hold
		An introduction to formal specification and z / Ben Potter, Jane Sinclair, David Till by Potter, Ben \| Sinclair, Jane [(j. a.)] \| Till, David [(j. a.)]. Edition: 2nd ed.Publisher: London : Prentice Hall Europe, 1996Availability: Items available for loan: Taylor's Library-TU [Call number: 005.12 POT] (1). Place hold