The science of programming. (4th printing). (English) Zbl 0614.68002

Texts and Monographs in Computer Science. New York etc.: Springer-Verlag. XV, 366 p. (1987).
See the review of the 1st edition (Berlin 1981) in Zbl 0472.68003.


68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N01 General topics in the theory of software
68Q60 Specification and verification (program logics, model checking, etc.)


Zbl 0472.68003