Mathematical theory of program correctness /

Mathematical theory of program correctness /

57

Bibliographic Details
Main Author: 406367 Bakker, Jaco de
Format:
Published: Englewood Cliffs, N.J. : Prentice-Hall, 1980
Subjects:
Computer programs
Logic, Symbolic and mathematical

Similar Items