2013, ISBN: 9780387964805
Paperback
Springer, Taschenbuch, Auflage: 1st ed. 1981. 5th printing 1989, 388 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9780387964805, 1.2 kg, Verkaufsrang: 18… More...
Amazon.de (Intern... |
2013, ISBN: 0387964800
[EAN: 9780387964805], Tweedehands, zeer goed, [SC: 24.74], [PU: Springer], / SOFTWARE ENGINEERING COMPUTER PROGRAMMING DEVELOPMENT & SCRIPTING LANGUAGES: GENERAL COMPUTERS LANGUAGES HC IN… More...
ZVAB.com Studibuch, Stuttgart, Germany [70002967] [Beoordeling: 4 (van 5)] NOT NEW BOOK. Shipping costs: EUR 24.74 Details... |
1987, ISBN: 0387964800
[EAN: 9780387964805], Tweedehands, zeer goed, [SC: 5.27], [PU: Springer], GRIES DAVID THE SCIENCE OF PROGRAMMING MONOGRAPHS IN COMPUTER, The book has been read, but is in excellent condit… More...
AbeBooks.co.uk WorldofBooks, Goring-By-Sea, WS, United Kingdom [51947087] [Beoordeling: 5 (van 5)] NOT NEW BOOK. Shipping costs: EUR 5.27 Details... |
1981, ISBN: 9780387964805
[ED: Taschenbuch], [PU: Springer New York], DE, [SC: 4.00], leichte Gebrauchsspuren, privates Angebot, 235x155 mm, 388, [GW: 1200g], Banküberweisung, Selbstabholung und Barzahlung, De int… More...
booklooker.de |
1989, ISBN: 9780387964805
1st ed. 1981. 5th printing 1989 Gepflegter, sauberer Zustand. 1. Auflage. 1275048/2 Versandkostenfreie Lieferung semantics, development, logic, language, functions, programming, documen… More...
buchfreund.de Buchpark GmbH, 14959 Trebbin Shipping costs:Geen versendingskosten in Duitsland. (EUR 0.00) Details... |
2013, ISBN: 9780387964805
Paperback
Springer, Taschenbuch, Auflage: 1st ed. 1981. 5th printing 1989, 388 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9780387964805, 1.2 kg, Verkaufsrang: 18… More...
2013, ISBN: 0387964800
[EAN: 9780387964805], Tweedehands, zeer goed, [SC: 24.74], [PU: Springer], / SOFTWARE ENGINEERING COMPUTER PROGRAMMING DEVELOPMENT & SCRIPTING LANGUAGES: GENERAL COMPUTERS LANGUAGES HC IN… More...
1987
ISBN: 0387964800
[EAN: 9780387964805], Tweedehands, zeer goed, [SC: 5.27], [PU: Springer], GRIES DAVID THE SCIENCE OF PROGRAMMING MONOGRAPHS IN COMPUTER, The book has been read, but is in excellent condit… More...
1981, ISBN: 9780387964805
[ED: Taschenbuch], [PU: Springer New York], DE, [SC: 4.00], leichte Gebrauchsspuren, privates Angebot, 235x155 mm, 388, [GW: 1200g], Banküberweisung, Selbstabholung und Barzahlung, De int… More...
1989, ISBN: 9780387964805
1st ed. 1981. 5th printing 1989 Gepflegter, sauberer Zustand. 1. Auflage. 1275048/2 Versandkostenfreie Lieferung semantics, development, logic, language, functions, programming, documen… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - The Science of Programming (Monographs in Computer Science)
EAN (ISBN-13): 9780387964805
ISBN (ISBN-10): 0387964800
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer
388 Pages
Weight: 0,603 kg
Language: eng/Englisch
Book in our database since 2007-10-13T18:53:25-04:00 (New York)
Detail page last modified on 2024-03-15T16:10:52-04:00 (New York)
ISBN/EAN: 0387964800
ISBN - alternate spelling:
0-387-96480-0, 978-0-387-96480-5
Alternate spelling and related search-keywords:
Book author: david gries, dijkstra
Book title: the science, programming, computer
Information from Publisher
Author: David Gries
Title: Monographs in Computer Science; The Science of Programming
Publisher: Springer; Springer US
388 Pages
Publishing year: 1987-02-01
New York; NY; US
Language: English
96,29 € (DE)
98,99 € (AT)
106,50 CHF (CH)
Available
XV, 388 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Natural; computer programming; development; documentation; functions; language; logic; programming; semantics; Software Engineering; Programming Techniques; Compilers and Interpreters; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; BB
0. Why Use Logic? Why Prove Programs Correct?.- I. Propositions and Predicates.- 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.- II. 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.- 11. The Iterative Command.- 12. Procedure Call.- III. 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. Backus-Naur Form.- Appendix 2. Sets, Sequences, Integers and Real Numbers.- Appendix 3. Relations and Functions.- Appendix 4. Asymptotic Execution Time Properties.- Answers to Exercises.- References.More/other books that might be very similar to this book
Latest similar book:
9788185015422 The Science of Programming (David Gries)
- 9788185015422 The Science of Programming (David Gries)
- 9781461259831 The Science of Programming (David Gries)
- 9783540964803 The Science of Programming (Texts and Monographs in Computer Science) (Gries, David)
- 9780387906416 The Science of Programming (Monographs in Computer Science) (Gries, David)
- The Science of Programming (Gries, David)
< to archive...