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
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