The Science of Programming (Monographs in Computer Science)
David Gries
ISBN 10: 038790641X ISBN 13: 9780387906416
Editore: Springer-Verlag, 1981
Usato
Hardcover
Da
ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 2 luglio 2009
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.61. Codice articolo G038790641XI3N00
Riassunto:
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
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.
Dati bibliografici
Titolo: The Science of Programming (Monographs in ...
Casa editrice: Springer-Verlag
Data di pubblicazione: 1981
Legatura: Hardcover
Condizione: Good
Condizione sovraccoperta: No Jacket
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_433596995
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: HPB-Emerald, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Codice articolo S_444686364
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 (Monographs in Computer Science)
Da: ThriftBooks-Phoenix, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.61. Codice articolo G038790641XI3N00
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.61. Codice articolo G038790641XI3N01
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.61. Codice articolo G038790641XI3N00
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
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: Wonder Book, Frederick, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Codice articolo J07B-03256
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: Toscana Books, AUSTIN, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned038790641X
Quantità: 1 disponibili