عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47
QA
76
.
76
.
D47
کتابخانه
محل استقرار
لاتين
Ben Potter, Jane Sinclair, David Till
An introduction to formal specification and Z
2nd ed
1996
xiv, 434 p. :ill. ;24 cm.
Prentice-Hall international series in computer science
مرجع به حساب نمي آيد
tnempoleveD
Computer software - Geotools
Z )Computer program language(
QA
76
.
76
.
D47
مولف
Potter, Ben
Till, David
Sinclair, Jane
