Gries | The Science of Programming | E-Book | sack.de
E-Book

E-Book, Englisch, 388 Seiten, eBook

Reihe: Monographs in Computer Science

Gries The Science of Programming


1981
ISBN: 978-1-4612-5983-1
Verlag: Springer US
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 388 Seiten, eBook

Reihe: Monographs in Computer Science

ISBN: 978-1-4612-5983-1
Verlag: Springer US
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Describes basic programming principles and their step-by-
step applications.Numerous examples are included.

Gries The Science of Programming jetzt bestellen!

Zielgruppe

Graduate

Autoren/Hrsg.

Gries, David

Weitere Infos & Material

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.