Formal object-oriented specification using object-Z / Roger Duke and Gordon Rose.

By:

Contributor(s):

Material type: Text

TextPublication details: Basingstoke, Hants. : Macmillan, 2000.Description: 229 p. : illISBN:

Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Open Collection	FIRST CITY UNIVERSITY COLLEGE	FIRST CITY UNIVERSITY COLLEGE	Open Collection	FCUC Library	005.117 DUK 2000 (Browse shelf(Opens below))	Available		00014367

Total holds: 0