001.6425 / An24p
Anderson, Robert Brockett
PROVING PROGRAMMS CORRECT
/
.- New York: John Wiley, 1979
.- viii,184 .
Bibliography : P. 170-182
Subject Headings:
Computer Programs -- Testing;
Debugging In Computer Science;
Copy Details:
Acc. No.: A61530, Full Call No.: 001.6425 An24p, Item type: Written-off , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------