عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2D55 1990
QA
76
.
73
.
Z2D55
1990
کتابخانه
محل استقرار
0-471-92489-x
IR
123977
انگلیسی
IR
Z
[Book]
: an Introduction to Formal Methods
/ Antoni Diller
Chichester
: John Wilev & Sons
, 1990
Xxi.; 309 P.; fig.
; 24 cm
انگليسي
Includes Bibliographical References (P. 289 - 299) and Index
Z (Computer Program language)
QA
76
.
73
.
Z2D55
1990
Diller
, Antoni
, author
Iran
Central Library Of Tehran University
Old cataloging
BL
1
Y
