1. Software prototyping, formal methods, and VDM
پدیدآورنده : Hekmatpour, Sharam
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development
رده :
QA
76
.
76
.
D47
.
H45
1988
2. Software prototyping, formal methods, and VDM
پدیدآورنده : Hekmatpour, Sharam, 1691-
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer software- Development
