1. Software prototyping, formal methods, and VDM

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer software-- Development

رده :
QA
76
.
76
.
D47
.
H45
1988