Program construction : calculating implementations from specifications /
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | English |
| 出版事項: |
New York :
Wiley,
c2003.
|
| 主題: | |
| オンライン･アクセス: | Contributor biographical information Publisher description 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.