1. Program construction and verification
Author: Roland C. Backhouse
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programs,Computer programs- Validation
Classification :
QA
،
76
,.
754
،.
P7
,
B28
،
1986
2. Program construction and verification
Author: Backhouse, Roland C.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming
Classification :
QA
76
.
7
.
B28
1986
