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