The Science of Programming - Rilegato

Gries, David

 
9780387906416: The Science of Programming
Rilegato
ISBN 10: 038790641X ISBN 13: 9780387906416
Casa editrice: Springer-Verlag New York Inc., 1987

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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

Product Description

Book by Gries David

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag New York Inc.
Data di pubblicazione
1987
Lingua
Inglese
ISBN 10 
038790641X
ISBN 13 
9780387906416
Rilegatura
Copertina rigida
Numero edizione
1
Numero di pagine
403
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9780387964805: The Science of Programming

Edizione in evidenza

ISBN 10:  0387964800 ISBN 13:  9780387964805
Casa editrice: Springer, 2013
Brossura