عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 F73 1992
QA76
.
76
.
V47
F73
1992
کتابخانه
محل استقرار
0201416085
9780201416084
dltt
Program verification /
[Book]
Francez Nissim
xi, 312 pages :
illustrations ;
24 cm
International computer science series
Includes bibliographical references (pages 295-303) and index
Program verification.
Computer software-- Verification
005
.
1/4
20
QA76
.
76
.
V47
F73
1992
Francez, Nissim
20160712055512.0
مطالعه متن کتاب [Book]
Y
