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).


68-02 Research exposition (monographs, survey articles) pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)