Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Why Use Logic? Why Prove Programs Correct?
3. Altmetric Badge
   Chapter 2 Propositions
4. Altmetric Badge
   Chapter 3 Reasoning using Equivalence Transformations
5. Altmetric Badge
   Chapter 4 A Natural Deduction System
6. Altmetric Badge
   Chapter 5 Predicates
7. Altmetric Badge
   Chapter 6 Notations and Conventions for Arrays
8. Altmetric Badge
   Chapter 7 Using Assertions To Document Programs
9. Altmetric Badge
   Chapter 8 The Predicate Transformer wp
10. Altmetric Badge
    Chapter 9 The Commands skip, abort and Composition
11. Altmetric Badge
    Chapter 10 The Assignment Command
12. Altmetric Badge
    Chapter 11 The Alternative Command
13. Altmetric Badge
    Chapter 12 The Iterative Command
14. Altmetric Badge
    Chapter 13 Procedure Call
15. Altmetric Badge
    Chapter 14 Introduction
16. Altmetric Badge
    Chapter 15 Programming as a Goal-Oriented Activity
17. Altmetric Badge
    Chapter 16 Developing Loops from Invariants and Bounds
18. Altmetric Badge
    Chapter 17 Developing Invariants
19. Altmetric Badge
    Chapter 18 Notes on Bound Functions
20. Altmetric Badge
    Chapter 19 Using Iteration Instead of Recursion
21. Altmetric Badge
    Chapter 20 Efficiency Considerations
22. Altmetric Badge
    Chapter 21 Two Larger Examples of Program Development
23. Altmetric Badge
    Chapter 22 Inverting Programs
24. Altmetric Badge
    Chapter 23 Notes on Documentation
25. Altmetric Badge
    Chapter 24 Historical Notes