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.
Risultati della ricerca per The Science of Programming
Foto dell'editore
The Science of Programming
Editore:
Springer-Verlag New York Inc., 1987
ISBN 10: 038790641X
ISBN 13: 9780387906416
Antico o usato
Rilegato
Da: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: Fair. Describes basic programming principles and their step-by- step applications.Numerous examples are included. Codice articolo 00102036871
Compra usato
EUR 8,31
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)
Editore:
Springer (edition 1st ed. 1981. 2nd printing), 1987
ISBN 10: 038790641X
ISBN 13: 9780387906416
Antico o usato
Rilegato
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fair. 1st ed. 1981. 2nd printing. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. Codice articolo 038790641X-7-1
Compra usato
EUR 8,32
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 8,40
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, Mishawaka, IN, 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 8,94
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, 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 8,94
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Foto dell'editore
The Science of Programming
Editore:
Springer-Verlag New York Inc., 1987
ISBN 10: 038790641X
ISBN 13: 9780387906416
Antico o usato
Rilegato
Da: World of Books Inc, Montgomery, IL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardback. Condizione: Fair. Describes basic programming principles and their step-by- step applications.Numerous examples are included. Codice articolo CIN038790641XA
Compra usato
EUR 10,14
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: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: acceptable. Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn. Codice articolo M0038790641X-B
Compra usato
EUR 12,51
Spedizione EUR 10,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Codice articolo M0038790641X-G
Compra usato
EUR 13,16
Spedizione EUR 10,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
The Science of Programming (Monographs in Computer Science)
Editore:
Springer, 1987
ISBN 10: 038790641X
ISBN 13: 9780387906416
Antico o usato
Rilegato
Prima edizione
Da: Blue Fog Books, Arlington Heights, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. 1st Edition. Bumping to lower corners. Rubbing and wear to spine ends. No names, underlining, notes or highlighting. a4. Codice articolo ABE-1783892975070
Compra usato
EUR 18,28
Spedizione EUR 5,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: Recycle Bookstore, San Jose, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Very Good. 1983 Second Printing. Book has some light wear to corners, tiny tear at bottom of spine, small tear to front endpaper along with a price written inside. otherwise book is quite nice, very clean and bright, with a tight binding and clean pages. Codice articolo 1044087
Compra usato
EUR 20,64
Spedizione EUR 5,12
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili