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 |
