Program construction : calculating implementations from specifications /
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre |
| Langue: | English |
| Publié: |
New York :
Wiley,
c2003.
|
| Sujets: | |
| Accès en ligne: | Contributor biographical information Publisher description Table of contents |
Table des matières:
- 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.