Reimpresión 2005, de la primera publicada en 1996 CONTENIDO:
I. MATHEMATICS
1. Mathematical reasoning
2. Set notation
3. Mathematical objects
II. ABSTRACT MACHINES
4. Introduction to abstract machines
5. Formal definition of abstract machines
6. Theory of abstract machines
7. Constructing large abstract machines
8. Examples of abstract machines
III. PROGRAMMING
9. Sequencing and loops
10. Programming examples
IV. REFINEMENT
11. Refinement
12. Constructing large software systems
13. Examples of refinement
Appendices
Incluye índice