عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 L54 2001
QA
76
.
73
.
Z2
L54
2001
کتابخانه
محل استقرار
استان: خراسان رضوی ـ شهر: مشهد
1640
Lightfoot, David
1591-
Formal specification using Z
New York
Palgrave
2001
xii, 164p.: ill
Grassroots series
Includes index
David Lightfoot
2nd ed
، Z )Computer program language(
QA
76
.
73
.
Z2
L54
2001
AU
TI
SE
CL
