The science of programming
著者
書誌事項
The science of programming
(Texts and monographs in computer science)
Springer-Verlag, c1981
- : U.S. : hardcover
- : Ger. : hardcover
- : U.S. : softcover
- : Ger. : softcover
大学図書館所蔵 件 / 全73件
-
: U.S. : hardcover549:1019000453012,
U.S. : softcover007.64:Gri218700206,218700283 -
: U.S. : hardcover08226005133,
: Ger. : hardcover09022033683, : U.S. : softcover08922018463, 08290012858 -
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [355]-357
Includes index
内容説明・目次
- 巻冊次
-
: U.S. : hardcover ISBN 9780387906416
内容説明
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
目次
- Part 0. Why Use Logic? Why Prove Programs Correct?
- Part 1. 1. Propositions
- 2. Reasoning Using Equivalence Transformations
- 3. A Natural Deduction System
- 4. Predicates
- 5. Notations and Conventions for Arrays
- 6. Using Assertions to Document Programs
- Part2. The Semantics of a Small Language
- 7. The Predicate Transformer wp
- 8. The Commands Skip, Abort and Composition
- 9. The Assignment Command
- 10. The Alternative Command
- 12. Procedure Call
- 11. The Iterative Command
- 12. Procedure Call
- Part 3. The Development of Programs
- 13. Introduction
- 14. Programming as a Goal-Oriented Activity
- 15. Developing Loops From Invariants and Bounds
- 16. Developing Invariants
- 17. Notes on Bound Functions
- 18. Using Iteration Instead of Recursion
- 19. Efficiency Considerations
- 20. Two Larger Examples of Program Development
- 21. Inverting Programs
- 22. Notes on Documentation
- 23. Historical Notes
- Appendix 1-4
- Answers to Exercises
- References
- Index
- 巻冊次
-
: U.S. : softcover ISBN 9780387964805
内容説明
Describes basic programming principles and their step-by-
step applications.Numerous examples are included.
目次
- Part 0. Why Use Logic? Why Prove Programs Correct?
- Part 1. 1. Propositions
- 2. Reasoning Using Equivalence Transformations
- 3. A Natural Deduction System
- 4. Predicates
- 5. Notations and Conventions for Arrays
- 6. Using Assertions to Document Programs
- Part2. The Semantics of a Small Language
- 7. The Predicate Transformer wp
- 8. The Commands Skip, Abort and Composition
- 9. The Assignment Command
- 10. The Alternative Command
- 12. Procedure Call
- 11. The Iterative Command
- 12. Procedure Call
- Part 3. The Development of Programs
- 13. Introduction
- 14. Programming as a Goal-Oriented Activity
- 15. Developing Loops From Invariants and Bounds
- 16. Developing Invariants
- 17. Notes on Bound Functions
- 18. Using Iteration Instead of Recursion
- 19. Efficiency Considerations
- 20. Two Larger Examples of Program Development
- 21. Inverting Programs
- 22. Notes on Documentation
- 23. Historical Notes
- Appendix 1-4
- Answers to Exercises
- References
- Index
- 巻冊次
-
: Ger. : softcover ISBN 9783540964803
内容説明
Describes basic programming principles and their step-by- step applications. Numerous examples are included.hIt?4001? 0000000
「Nielsen BookData」 より