The Science of Programming
(Sprache: Englisch)
Describes basic programming principles and their step-by-step applications.Numerous examples are included.
Leider schon ausverkauft
versandkostenfrei
Buch
85.59 €
Produktdetails
Produktinformationen zu „The Science of Programming “
Klappentext zu „The Science of Programming “
Describes basic programming principles and their step-by-step applications.Numerous examples are included.
Inhaltsverzeichnis zu „The Science of Programming “
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
Bibliographische Angaben
- Autor: David Gries
- 1989, 388 Seiten, Maße: 15,2 x 22,9 cm, Kartoniert (TB), Englisch
- Verlag: Springer, New York
- ISBN-10: 0387964800
- ISBN-13: 9780387964805
- Erscheinungsdatum: 21.04.1989
Sprache:
Englisch
Kommentar zu "The Science of Programming"
0 Gebrauchte Artikel zu „The Science of Programming“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "The Science of Programming".
Kommentar verfassen