عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47J66 1989
QA
76
.
76
.
D47J66
1989
کتابخانه
محل استقرار
IR
26403
انگلیسی
IR
Systematic software development using VDM
[Book]
/ Cliff B. Jones
2nd ed
Englewood Cliffs, N. J.
: Prentice-Hall
, 1990
Xiv, 333p.
: ill.
; 24cm
Prentic Hall international series in computer science
English
Includes bibliographical references and indexes
Computer software - Development
QA
76
.
76
.
D47J66
1989
Jones, C. B. (Cliff B), 1944-, author
ایران
University of Tehran. Library of Technical Camp 1
Old cataloging
p
BL
1
Y
