Del i serien Monographs in Computer Science
987 kr
Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.
Beskrivning
Describes basic programming principles and their step-by-step applications.Numerous examples are included.
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.
Hoppa över listan









Mer från samma författare
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
653 kr
Hoppa över listan









Mer från samma serie
Software Configuration Management Using Vesta
Clark Allan Heydon, Roy Levin, Timothy P. Mann, Yuan Yu
Inbunden
1 096 kr
High Performance Discovery In Time Series
Donna Ryan, New York University Courant Inst. Mathematical Sciences, Donna Ryan
Inbunden
1 049 kr
Evolutionary Synthesis of Pattern Recognition Systems
Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec
Inbunden
1 640 kr
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Inbunden
1 593 kr
Hoppa över listan









Du kanske också är intresserad av
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
653 kr