Description: An introduction to formal specification and Z

Main Author:	POTTER
Other Authors:	Sinclair,, Till,
Format:	Book
Published:	London: Prentice Hall, 1996.
Edition:	2nd ed.
Subjects:	Computer software -- > Development Z (Computer program language)

Physical Description:	xiv, 434p.; 24cm.
ISBN:	0132422077