What is included with this book?
Why Use Logic? Why Prove Programs Correct? | |
Propositions | |
Reasoning Using Equivalence Transformations | |
A Natural Deduction System | |
Predicates | |
Notations and Conventions for Arrays | |
Using Assertions to Document Programs | |
The Semantics of a Small Language | |
The Predicate Transformer wp | |
The Commands Skip, Abort and Composition | |
The Assignment Command | |
The Alternative Command | |
Procedure Call | |
The Iterative Command | |
Procedure Call | |
The Development of Programs | |
Introduction | |
Programming as a Goal-Oriented Activity | |
Developing Loops From Invariants and Bounds | |
Developing Invariants | |
Notes on Bound Functions | |
Using Iteration Instead of Recursion | |
Efficiency Considerations | |
Two Larger Examples of Program Development | |
Inverting Programs | |
Notes on Documentation | |
Historical | |
Notes | |
Appendix 1-4 | |
Answers to Exercises | |
References | |
Index | |
Table of Contents provided by Publisher. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.