00924cam a2200349 i 4500 000045215 4385 20021115461102.0 010220|2000 vm 000 eng 0333801237 (pbk.) IRC IRC IRC eng 005.117 DU-R Duke, Roger. Formal object-oriented specification using object-Z / Roger Duke Basingstoke : Macmillan, 2000 x, 229p. : ill. Object-oriented programming Object-Z Object-oriented programming (Computer science) Object-Z (Computer program language) DUT mt From the UDN01 Monograph Printed language Mạng thư viện Đại học Đà Nẵng