001.642 / B179m
Bakker, Jaco de
Mathematical theory of program correctness
/ Jaco de Bakker
.- Englewood Cliffs, New Jersey: Prentice-Hall, 1980
.- xvi, 505p .
Bibliography : P. 477-490
Subject Headings:
Computer Programs -- Correctness;
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A69751, Full Call No.: 001.642 B179m, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------