Formal object-oriented specification using object-Z /

Formal object-oriented specification using object-Z /

57

Bibliographic Details
Main Authors: 366069 Duke, Roger, Rose, Gordon
Format:
Language:eng
Published: London : Macmillan, 2000
Subjects:
Object-oriented programming (Computer science)

Similar Items