Program construction and verification
Backhouse, Roland C.
Program construction and verification - - Englewood Cliffs Prentice-Hall Intl., 1986 - xi,281 p. 23 cm - .
0-13-729153-114
Computer Programs
Computer programs-Validation
681.3.06 Bac
Program construction and verification - - Englewood Cliffs Prentice-Hall Intl., 1986 - xi,281 p. 23 cm - .
0-13-729153-114
Computer Programs
Computer programs-Validation
681.3.06 Bac