Mathematical foundations of programming. (English) Zbl 0443.68021
The Systems Programming Series. Reading, Massachusetts etc.: Addison- Wesley Publishing Company. XVIII, 443 p. (1980).
MSC:
68Qxx | Theory of computing |
68Q65 | Abstract data types; algebraic specification |
68N01 | General topics in the theory of software |
68W99 | Algorithms in computer science |
03E20 | Other classical set theory (including functions, relations, and set algebra) |
03B05 | Classical propositional logic |
03D20 | Recursive functions and relations, subrecursive hierarchies |
68Q05 | Models of computation (Turing machines, etc.) (MSC2010) |
68Q45 | Formal languages and automata |
68Q25 | Analysis of algorithms and problem complexity |
68R10 | Graph theory (including graph drawing) in computer science |
68-01 | Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science |