Mathematical theory of program correctness
de Bakker, Jaco
Mathematical theory of program correctness - - Prentice/Hall International - xvi,505 p. 23 cm - .
0-13-562132-17
Computer programs-Correctness
Logic, Symbolic and matematical
681.3.06:519.28deB
Mathematical theory of program correctness - - Prentice/Hall International - xvi,505 p. 23 cm - .
0-13-562132-17
Computer programs-Correctness
Logic, Symbolic and matematical
681.3.06:519.28deB