Author Statement
Roger Duke,Gordon Rose
Collation
x, 229 P.:Illus
Addition
,
Title
Formal object-oriented specification using Object-Z
LC Class
005
LC Number
.117
LC CutterNumber
D 877 F
Publication Year
2000
Publication
Macmillan
Subject
Object-oriented programming (Computer science),Z (Computer program language)
DocumentNumber
32011
ISBNN
, 1 , 3110 , 3-1
RecordNumber
9563