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 (Monographs in Computer Science)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_475166873
Compra usato
EUR 18,16
Spedizione EUR 3,31
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: 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 18,16
Spedizione EUR 3,31
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) (Volume 0)
Da: Goodwill of Greater Milwaukee and Chicago, Racine, WI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: acceptable. Book is considered to be in acceptable condition. The actual cover image may not match the stock photo. Book may have one or more of the following defects: noticeable wear on the cover dust jacket or spine; curved, dog eared or creased page s ; writing or highlighting inside or on the edges; sticker s or other adhesive on cover; CD DVD may not be included; and book may be a former library copy. Codice articolo SEWV.0387964800.A
Compra usato
EUR 21,77
Spedizione EUR 2,65
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: Very Good. 1st Edition. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 40802516-6
Compra usato
EUR 35,24
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: 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 49,95
Spedizione EUR 5,29
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: 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 M00387964800-G
Compra usato
EUR 48,79
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: London Bridge Books, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Good. Codice articolo 0387964800-3-30234872
Compra usato
EUR 25,26
Spedizione EUR 52,50
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science) (Volume 0)
Da: GoldBooks, Denver, CO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. New Copy. Customer Service Guaranteed. Codice articolo 98B74_52_0387964800
Compra nuovo
EUR 79,73
Spedizione EUR 4,85
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Paperback)
Editore:
Springer-Verlag New York Inc., New York, NY, 1987
ISBN 10: 0387964800
ISBN 13: 9780387964805
Nuovo
Paperback
Prima edizione
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Describes basic programming principles and their step-by-step applications.Numerous examples are included. Describes basic programming principles and their step-by-step applications.Numerous examples are included. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780387964805
Compra nuovo
EUR 99,93
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Editore:
Springer Verlag 1981-01-01, 1981
ISBN 10: 0387964800
ISBN 13: 9780387964805
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice articolo 6666-IUK-9780387964805
Compra nuovo
EUR 95,15
Spedizione EUR 7,57
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili