Author :
Duke, Roger
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
Link To Document :
http://lib1.kashanu.ac.ir//dL/search/default.aspx?Term=9563&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
