de Bakker, Jaco [De Bruin, A.; Zucker, J.] Mathematical theory of program correctness. With the assistance of Arie de Bruin and Jeffery Zucker. (English) Zbl 0452.68011 Prentice-Hall International Series in Computer Science. Englewood Cliffs, New Jersey, etc.: Prentice-Hall International. XVII, 505 p. $ 39.95; £17.95 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 34 Documents MSC: 68-02 Research exposition (monographs, survey articles) pertaining to computer science 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:program correctness; program proving; program verification; program semantics PDF BibTeX XML OpenURL