Program construction : calculating implementations from specifications /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York :
Wiley,
c2003.
|
| Schlagworte: | |
| Online Zugang: | Contributor biographical information Publisher description Table of contents |
Inhaltsangabe:
- 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.