1. Program construction and verification
پدیدآورنده : Roland C. Backhouse
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer programs,Computer programs- Validation
رده :
QA
،
76
,.
754
،.
P7
,
B28
،
1986
2. Program construction and verification
پدیدآورنده : Backhouse, Roland C.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
7
.
B28
1986
