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

Powered by Koha