Bakker, J. W. de 1939-
Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. - Englewood Cliffs, N.J. : Prentice-Hall International, c1980. - xvi, 505 p. ; 24 cm. - Prentice-Hall International series in computer science .
Includes index.
Bibliography: p. 466-490.
0135621321 : $29.00
80012451
Computer programs--Correctness.
Logic, Symbolic and mathematical.
QA76.6 / .B335
001.64/25
Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. - Englewood Cliffs, N.J. : Prentice-Hall International, c1980. - xvi, 505 p. ; 24 cm. - Prentice-Hall International series in computer science .
Includes index.
Bibliography: p. 466-490.
0135621321 : $29.00
80012451
Computer programs--Correctness.
Logic, Symbolic and mathematical.
QA76.6 / .B335
001.64/25