عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 P68
QA
76
.
76
.
D47
P68
کتابخانه
محل استقرار
An introduction to formal specification and Z
Englewood Cliffs, N.J
Prentice Hall
c1990
xiii, 304 p.: ill
Includes bibliographical references and index.
Ben Potter, Jane Sinclair, David Till
، Computer software -- Development
، Z )Computer program language(
QA
76
.
76
.
D47
P68
NO
Potter, Ben
AU
AU Sinclair, Jane
AU Till, David
TI
