عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 .J66 1986
QA
76
.
76
.
D47
.
J66
1986
کتابخانه
محل استقرار
81429
84568
آخر۲۷
English
)91(
Jones, C. B.)Cliff B.(
1944-
Systematic software development using VDM
Englewood Cliffs, N.J.
Prentice Hall International
1986
xvi, 300 p. : ill. ; 24 cm
Bibliography: p. 294-296
Includes index
، Computer software-- Development
QA
76
.
76
.
D47
.
J66
1986
AU
Cliff B. Jones
TI
19
19
