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
The Science of Programming (Monographs in Computer Science)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. 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_433703071
Compra usato
EUR 7,70
Spedizione EUR 3,13
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0387964800I3N10
Compra usato
EUR 11,02
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Editore:
Springer New York, 1987
ISBN 10: 0387964800
ISBN 13: 9780387964805
Antico o usato
Brossura
Prima edizione
Da: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 1st Edition. 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 5585811-20
Compra usato
EUR 14,52
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: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Codice articolo 00095777482
Compra usato
EUR 16,08
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: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Good. 1981. 5th Print. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Codice articolo 000101725U
Compra usato
EUR 14,84
Spedizione EUR 3,33
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Print on DemandDa: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good-. 7th Printing. NOT print-on-demand (copyright 1981, this is a 7th printing). Very good- paperback copy (NOT ex-library). Light shelfwear, mostly to corners, light wrinkling to top edge of pages near spine for first ~30 pages. Spine is uncreased, binding tight and sturdy; text also very good. Ships same or next business day from Dinkytown in Minneapolis, Minnesota. Codice articolo 329632
Compra usato
EUR 21,52
Spedizione EUR 5,43
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: Jenson Books Inc, Logan, UT, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Good. The item is in good condition and works perfectly, however it is showing some signs of previous ownership which could include: small tears, scuffing, notes, highlighting, gift inscriptions, and library markings. Codice articolo 4BQWN8005U7D
Compra usato
EUR 37,04
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: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. 1981. 5th Print. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Codice articolo 000101725N
Compra nuovo
EUR 46,92
Spedizione EUR 3,33
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: Griffin Books, Stamford, CT, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: As New. 1981. 5th Print. Looks unread with just a touch of shelf wear Please email for photos. Larger books or sets may require additional shipping charges. Books sent via US Postal. Codice articolo 92214
Compra usato
EUR 47,34
Spedizione EUR 5,01
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Science of Programming
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Codice articolo 672194-5
Compra usato
EUR 64,29
Spedizione EUR 2,21
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili