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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------