TY  - BOOK
AU  - Backhouse,Roland Carl
TI  - Program construction and verification
SN  - 0137291469
AV  - QA76.7 B324P
PY  - 1986///
CY  - Englewood Cliffs, N.J.
PB  - Prentice/Hall International
KW  - ELECTRONIC DIGITAL COMPUTERS
KW  - PROGRAMMING
ER  -