عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 .H45 1988
QA
76
.
76
.
D47
.
H45
1988
کتابخانه
محل استقرار
95827
آخر۲۷
English
)91(
Hekmatpour, Sharam
1961-
Software prototyping, formal methods, and VDM
Wokingham, Eng., Reading, MA
Addison-Wesley
1988
x, 222 p. ; 24 cm
International computer science series
Bibliography: p. 138-153
Includes index
، Computer software-- Development
QA
76
.
76
.
D47
.
H45
1988
AU
Sharam Hekmatpour, Darrel Ince
AU (lerraD).D ,ecnI
TI
SE
19
