Articoli correlati a The Science of Programming
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.
- EditoreSpringer-Verlag New York Inc.
- Data di pubblicazione1987
- ISBN 10 038790641X
- ISBN 13 9780387906416
- RilegaturaCopertina rigida
- LinguaInglese
- Numero edizione1
- Numero di pagine403
Compra nuovo
Visualizza questo articolo
EUR 72,47
EUR 3,73 per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per The Science of Programming
Foto dell'editore
The Science of Programming
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.61. Codice articolo G038790641XI3N10
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming Mon
Da: SecondSale, Montgomery, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc. Codice articolo 00078384007
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Da: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Used book that is in clean, average condition without any missing pages. Codice articolo GRP93002878
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Da: True Oak Books, Highland, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good+. Condizione sovraccoperta: No Dust Jacket. Monographs In Computer Science; Light foxing to edge of pages. Yellowing to pages. - Great overall condition. Minor cosmetic wear. No noteworthy blemishes. No writing.; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. Codice articolo HVD-25277-A-0
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: The Maryland Book Bank, Baltimore, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. Used - Very Good. Codice articolo 2-R-1-0679
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: Grumpys Fine Books, Tijeras, NM, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Prompt service guaranteed. Codice articolo Clean038790641X
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: BooksByLisa, Highland Park, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; Photos of book emailed upon requestPHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Codice articolo 6441
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: London Bridge Books, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Codice articolo 038790641X-3-25469329
Quantità: 1 disponibili