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.
Altre edizioni note dello stesso titolo
Risultati della ricerca per The Science of Programming
Foto dell'editore
Science of Programming (1981. 2nd Printing)
Editore:
Springer January 1987, 1987
ISBN 10: 038790641X
ISBN 13: 9780387906416
Antico o usato
Rilegato
Da: Magus Books Seattle, Seattle, WA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: VG. used hardcover copy, lacking a dust jacket (as issued). light shelfwear, corners perhaps slightly bumped. pages and binding are clean, straight, and tight. there are no marks to the text or other serious flaws. Codice articolo 1548546
Compra usato
EUR 14,46
Spedizione EUR 4,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo GRP64491309
Compra usato
EUR 29,22
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
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. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo GRP93002878
Compra usato
EUR 29,22
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Codice articolo G038790641XI5N00
Compra usato
EUR 32,65
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
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. Codice articolo G038790641XI3N01
Compra usato
EUR 32,65
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: ThriftBooks-Dallas, Dallas, TX, 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. Codice articolo G038790641XI3N00
Compra usato
EUR 32,65
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
The Science of Programming (Monographs in Computer Science)
Da: Blue Vase Books, Interlochen, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. The item shows wear from consistent use, but it remains in good condition and works perfectly. All pages and cover are intact including the dust cover, if applicable . Spine may show signs of wear. Pages may include limited notes and highlighting. May NOT include discs, access code or other supplemental materials. Codice articolo BVV.038790641X.G
Compra usato
EUR 33,23
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming Mon
Da: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Acceptable. Item in acceptable condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Codice articolo 00102036871
Compra usato
EUR 33,84
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Da: Moe's Books, Berkeley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Very good. Very good condition. Binding is tight. Inside is clean and unmarked. Codice articolo 1155968
Compra usato
EUR 31,01
Spedizione EUR 5,59
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Da: Hamelyn, Madrid, M, Spagna
Valutazione del venditore 5 su 5 stelle
Condizione: Muy bueno. : Este libro explora los principios fundamentales de la programación informática, basándose en la idea de que la prueba de corrección y el programa deben desarrollarse en conjunto. Se centra en el método propuesto por Dijkstra, presentando principios explícitos para el desarrollo de programas y guiando al lector a través de ejemplos prácticos. Dirigido a programadores con experiencia, el libro ofrece una nueva perspectiva sobre la teoría y la práctica de la programación, asegurando el desarrollo efectivo de programas correctos. EAN: 9780387906416 Tipo: Libros Categoría: Tecnología Título: The Science of Programming Autor: David Gries Editorial: Springer-Verlag Idioma: en Páginas: 366 Formato: tapa dura. Codice articolo Happ-2026-05-05-532b3679
Compra usato
EUR 37,88
Spedizione EUR 12,99
Spedito da Spagna a U.S.A.
Spedito da Spagna a U.S.A.
Quantità: 1 disponibili