عنوان
پدید آورنده
موضوع
رده
QA 76 .73 .Z2 .D85 2000
QA
76
.
73
.
Z2
.
D85
2000
کتابخانه
محل استقرار
129954
تابستان۱۸
English
)91(
Duke, Roger
Formal object-oriented specification using object-Z
Basingstoke
Macmillan
2000
x, 228 p.; 25 cm
Cornerstones of computing
Includes bibliographical references and index
، Object-oriented programming )Computer science(
، Z )Computer program language(
QA
76
.
73
.
Z2
.
D85
2000
AU
Roger Duke and Gordon Rose
AU nodroG ,esoR
TI
SE
129
