عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2D55 1994
QA
76
.
73
.
Z2D55
1994
کتابخانه
محل استقرار
0471939730
IR
43958
انگلیسی
IR
Z
[Book]
:an introduction to formal methods
/ Antoni Diller
2nd ed
New York
: Wiley & Sons, LTD
, 1994
xix, 374 p.
; 25 cm
English
Includes bibliographical references (p. 357-362) and index
Z (Computer program language)
Formal methods (computer science)
QA
76
.
73
.
Z2D55
1994
Diller, Antoni, author
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
