عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 B68 1996
QA
76
.
73
.
Z2
B68
1996
کتابخانه
محل استقرار
CE O1
Bowen, Jonathan
Formal specification and documentation using Z : a case study approach
London
International Thomson Computer Press
1996
xvi, 302 p. : ill
Includes bibliographical refernces )p. 253-284( and index
Z )Computer program language(
Computer software - Development
QA
76
.
73
.
Z2
B68
1996
AU
Jonathan Bowen
