The science of programming
Author(s)
Bibliographic Information
The science of programming
(Texts and monographs in computer science)
Springer-Verlag, c1981
- : U.S. : hardcover
- : Ger. : hardcover
- : U.S. : softcover
- : Ger. : softcover
Available at / 74 libraries
-
Ibaraki University Library, Hitachi Branch分
: U.S. : hardcover549:1019000453012,
U.S. : softcover007.64:Gri218700206,218700283 -
Osaka University, Main Library
: U.S. : hardcover08226005133,
: Ger. : hardcover09022033683, : U.S. : softcover08922018463, 08290012858 -
Science and Technology Library, Kyushu University
026232003067784,
U.S. : hardcover068222186005140 -
Library, Research Institute for Mathematical Sciences, Kyoto University数研
U.S. : hardcoverGRI||7||22780374,
U.S. : softcoverGRI||7||287004864 -
The University of Electro-Communications Library研
: U.S. : hardcover549.98/G852218200788,2218202418
-
Nagasaki University Library Central Library
: U.S. : hardcover007.64||811292572,
U.S. : hardcover007.64||81||1292572 -
Digital Library of Nara Institute of Science and Technology
: U.S. : softcoverAB||29||440010789
-
Hiroshima Institute of Technology Library図書館
: U.S. : hardcover007.64||S0110861374,
U.S. : hardcover007.64/S0110861374 -
Hokkaido University, Faculty and Graduate School of Engineering図書
: U.S. : hardcover001.6/G8733521125102
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [355]-357
Includes index
Description and Table of Contents
- Volume
-
: U.S. : hardcover ISBN 9780387906416
Description
Table of Contents
- 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
- Volume
-
: U.S. : softcover ISBN 9780387964805
Description
Table of Contents
- 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
- Volume
-
: Ger. : softcover ISBN 9783540964803
Description
by "Nielsen BookData"