DaftarIsitemplate

Call Number

005.3 Bak m

Title

Mathematical theory of program correctness/ Jaco de Bakker

Author

Baker, Jaco de;

Publisher

Singapore: Prentice Hall, 1980

Subject

Computer programs-Testing; Logic, symbolic and mathematical

Location