FirstCity
Welcome to First City University College Library iPortal | library@firstcity.edu.my | +603-7735 2088 (Ext. 519)

Formal object-oriented specification using object-Z /

Duke, Roger.

Formal object-oriented specification using object-Z / Roger Duke and Gordon Rose. - Basingstoke, Hants. : Macmillan, 2000. - 229 p. : ill.

0333801237


Z (Computer program language)
Object-oriented programming (Computer science)

005.117 DUK 2000