عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2S65 1988
QA
76
.
73
.
Z2S65
1988
کتابخانه
محل استقرار
Understanding Z : a specification language and its formal semantics
Cambridge
Cambridge University Press
c1988
viii, 131p
Cambridge tracts in theoretical computer science; 3
Bibliography: p.]119[-122
ISBN: 0521334292
J.M. Spivey
1
، Z )Computer program language(
، Computer input-output equipment
QA
76
.
73
.
Z2S65
1988
Spivey, J. M.
AU
TI
SE
