1. Software prototyping, formal methods, and VDM
پدیدآورنده : Hekmatpour, Sharam
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development
رده :
QA
76
.
76
.
D47
.
H45
1988