عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 B68 1996
QA
76
.
73
.
Z2
B68
1996
کتابخانه
محل استقرار
استان: خراسان رضوی ـ شهر: مشهد
20227
Bowen, Jonathan Peter
6591-
Formal specification and documentation Using Z: a case study approach
London
International Thomson Computer Press
c1996
xvi, 302p.: ill
Bibliography: p. 253-284
Includes index
Jonathan Bowen
، Z )Computer program language(
، System design
Development ، Computer software
، Software documentation
QA
76
.
73
.
Z2
B68
1996
AU
TI
CL
