عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 D85 2000
QA
76
.
73
.
Z2
D85
2000
کتابخانه
محل استقرار
استان: خراسان رضوی ـ شهر: مشهد
1639
Duke, Roger
Formal object-oriented specification using object-Z
Basingstoke
Macmillan
c2000
x, 228p
Cornestones of computing
Includes bibliographical references
Roger Duke and Gordon Rose
، Object-oriented programming )Computer science(
، Z )Computer program language(
QA
76
.
73
.
Z2
D85
2000
AU
AU Rose, Gordon
TI
SE
CL
