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.
- EditoreSpringer
- Data di pubblicazione2013
- ISBN 10 0387964800
- ISBN 13 9780387964805
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine388
Compra nuovo
Visualizza questo articolo
EUR 76,21
EUR 3,75 per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per The Science of Programming
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Editore:
Springer (edition 1981. 5th Print), 1987
ISBN 10: 0387964800
ISBN 13: 9780387964805
Antico o usato
Paperback
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. 1981. 5th Print. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Codice articolo 0387964800-11-1
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_408588911
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: Grumpys Fine Books, Tijeras, NM, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: very good. little wear and tear. Codice articolo Grumpy0387964800
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:0387964800. Codice articolo 4135857
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
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
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. 1. Auflage. | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. Codice articolo 1275048/2
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: Grumpys Fine Books, Tijeras, NM, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Prompt service guaranteed. Codice articolo Clean0387964800
Quantità: 1 disponibili
Foto dell'editore
The Science of Programming (Monographs in Computer Science)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2215580174790
Quantità: Più di 20 disponibili
Foto dell'editore
The Science of Programming
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9780387964805
Quantità: 10 disponibili