عنوان
پدید آورنده
موضوع
رده
QA 76 .73 .Z2 .L5 2001
QA
76
.
73
.
Z2
.
L5
2001
کتابخانه
محل استقرار
129949
تابستان۱۸
English
)91(
Lightfoot, David
Formal specification using Z
New York
Palgrave
2001
xii, 164 p.: ill.; 24 cm
Grassroots series
With answers
Includes bibliographical references and index
2nd ed
، Z )Computer program language(
QA
76
.
73
.
Z2
.
L5
2001
AU
David Lightfoot
TI
SE
129
