×

zbMATH — the first resource for mathematics

Theory of program structures: Schemes, semantics, verification. (English) Zbl 0345.68002
Lecture Notes in Computer Science. 36. Berlin-Heidelberg-New York: Springer-Verlag. XVIII, 364 p. not consecutively paged. DM 32.00; $13.20 (1975).

MSC:
68-02 Research exposition (monographs, survey articles) pertaining to computer science
68N01 General topics in the theory of software