5815
Backhouse, Roland C.
8491-
Program construction and verification
Englewood Cliffs, N.J.
Prenice-Hall international
c1986
xi, 281p.: ill
Bibliography: p. 220-223
Includes index
Roland C. Backouse
Programming ، Electronic digital computers
QA
76
.
7
.
B28
1986
AU
TI
CL
