Program construction : calculating implementations from specifications /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Wiley,
c2003.
|
| Subjects: | |
| Online Access: | Contributor biographical information Publisher description Table of contents |
Table of Contents:
- Machine derived contents note: Preface.
- A Science of Computing.
- A Searching Problem and Its Solution.
- Calculational Proof.
- Implementation Issues.
- Calculational Logic: Part 1.
- Number Conversion.
- Calculational Logic: Part 2.
- Maximum and Minimum.
- The Assignment Statement.
- Sequential Composition and Conditional Statements.
- Quantifiers.
- Inductive Proofs and Constructions.
- Iteration.
- Sorting and Searching Algorithms.
- Remainder Computation.
- Cyclic Codes.
- Appendix.
- Solutions to Exercises.
- References.
- Glossary of Symbols.
- Index.