The Science of Programming

Valutazione media 3,84
( su 31 valutazioni fornite da GoodReads )
 
9780387906416: The Science of Programming

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

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

I migliori risultati di ricerca su AbeBooks

1.

Gries, David
Editore: Springer
ISBN 10: 038790641X ISBN 13: 9780387906416
Nuovi Rilegato Quantità: 1
Da
Cloud 9 Books
(West Palm Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer. Hardcover. Condizione libro: New. 038790641X New Condition. Codice libro della libreria NEW6.0941055

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 80,30
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,59
In U.S.A.
Destinazione, tempi e costi

2.

Gries, David
Editore: Springer (1987)
ISBN 10: 038790641X ISBN 13: 9780387906416
Nuovi Rilegato Quantità: 2
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 1987. Hardcover. Condizione libro: New. Codice libro della libreria P11038790641X

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 83,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,75
In U.S.A.
Destinazione, tempi e costi