zbMATH — the first resource for mathematics

The science of programming. (English) Zbl 0472.68003
Texts and Monographs in Computer Science. New York - Heidelberg -Berlin: Springer-Verlag. XIII, 366 p. DM 54.00; $ 25.20 (1981).

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