Science of Programming
990 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum:1987-02-01
- Mått:155 x 235 x 21 mm
- Vikt:561 g
- Format:Häftad
- Språk:Engelska
- Serie:Monographs in Computer Science
- Antal sidor:388
- Upplaga:87001
- Förlag:Springer-Verlag New York Inc.
- ISBN:9780387964805
Utforska kategorier
Innehållsförteckning
- 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.
Mer från samma författare
Beauty Is Our Business
W.H.J. Feijen, A.J.M. van Gasteren, David Gries, J. Misra
Inbunden, 1990
2 201 kr
Programming Concepts and Methods PROCOMET ’98
David Gries, Willem-Paul de Roever
Inbunden, 1998
2 201 kr
Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12
David Gries, Willem-Paul de Roever
644 kr
Mer från samma serie
Software Configuration Management Using Vesta
Clark Allan Heydon, Roy Levin, Timothy P. Mann, Yuan Yu
Inbunden, 2006
1 104 kr
High Performance Discovery In Time Series
Donna Ryan, New York University Courant Inst. Mathematical Sciences, Donna Ryan
Inbunden, 2004
1 057 kr
Evolutionary Synthesis of Pattern Recognition Systems
Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec
Inbunden, 2005
1 653 kr
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Inbunden, 2004
1 605 kr
Numerical Geometry of Non-Rigid Shapes
Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel
Inbunden, 2008
806 kr
Du kanske också är intresserad av
Programming Concepts and Methods PROCOMET ’98
David Gries, Willem-Paul de Roever
Inbunden, 1998
2 201 kr
Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12
David Gries, Willem-Paul de Roever
644 kr
Beauty Is Our Business
W.H.J. Feijen, A.J.M. van Gasteren, David Gries, J. Misra
Inbunden, 1990
2 201 kr