عنوان
پدید آورنده
موضوع
رده
QA76.73.Z2 J33 1997
QA76
.
73
.
Z2
J33
1997
کتابخانه
محل استقرار
0521550416 (hbk.)
0521559766 (pbk.)
b528167
The way of Z :
[Book]
practical programming with formal methods /
Jonathan Jacky
New York, NY, USA :
Cambridge University Press,
1997
xviii, 350 p. :
ill. ;
25 cm
Includes bibliographical references (p. [328]-339) and index
Z (Computer program language)
005
.
1/2
20
QA76
.
73
.
Z2
J33
1997
Jacky, Jonathan
19970310074459.0
مطالعه متن کتاب [Book]
Y
