عنوان
پدید آورنده
موضوع
رده
QA 76 .73 .Z2 .B68 1995
QA
76
.
73
.
Z2
.
B68
1995
کتابخانه
محل استقرار
108454
پائیز۸۸
English
)91(
Bottaci, Leon.
Formal specification using Z: a modelling approach
London
International Thomson Publishing
1995
xii, 320 p.: ill.; 24 cm.
Includes index
، Z )Computer program language(
QA
76
.
73
.
Z2
.
B68
1995
AU
Leonardo Bottaci, John Jones
AU nhoJ ,senoJ
TI
129
