Cantitate/Preț
Produs
Total produse
Vezi coșul
The Science of Programming de David Gries

The Science of Programming: Monographs in Computer Science

Autor David Gries
en Limba Engleză Paperback – feb 1987
Describes basic programming principles and their step-by-step applications.Numerous examples are included.
Citește tot Restrânge

Din seria Monographs in Computer Science

Preț: 57307 lei

Preț vechi: 71634 lei
-20%

Puncte Express: 860

Carte tipărită la comandă

Livrare economică 11-25 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9780387964805
ISBN-10: 0387964800
Pagini: 388
Ilustrații: XV, 388 p.
Dimensiuni: 152 x 229 x 21 mm
Greutate: 0.56 kg
Ediția:1st ed. 1981. 4th printing 1987
Editura: Springer
Colecția Monographs in Computer Science
Seria Monographs in Computer Science

Locul publicării:New York, NY, United States

Public țintă

Graduate

Cuprins

0. Why Use Logic? Why Prove Programs Correct?.- I. Propositions and Predicates.- 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.- II. 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.- 11. The Iterative Command.- 12. Procedure Call.- III. 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. Backus-Naur Form.- Appendix 2. Sets, Sequences, Integers and Real Numbers.- Appendix 3. Relations and Functions.- Appendix 4. Asymptotic Execution Time Properties.- Answers to Exercises.- References.