Backhouse, Roland C.
Program construction and verification
- Englewood: Prentice Hall, 1986
- xi, 281 p.; ill.: 24 cm.
0137291469 (pbk)
Computer programming
Computer systems Programs Construction & verification
Electronic digital computers -- Programming
005 / BAC