Science of Programming

Häftad, Engelska, 1987

1 309 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Describes basic programming principles and their step-by-step applications.Numerous examples are included.

Produktinformation

Utgivningsdatum1987-02-01
Mått155 x 235 x 21 mm
Vikt561 g
FormatHäftad
SpråkEngelska
SerieMonographs in Computer Science
Antal sidor388
Upplaga87001
FörlagSpringer-Verlag New York Inc.
ISBN9780387964805

Tillhör följande kategorier

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

Du kanske också är intresserad av

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

49 kr79 kr

Programming Concepts and Methods PROCOMET ’98

Programming Concepts and Methods PROCOMET ’98

David Gries, Willem-Paul de Roever

2 869 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Jul med guldkant

Nyhet

Jul med guldkant

Catarina König

299 kr349 kr

Byggarna

Nyhet

Byggarna

Gunnar Wetterberg

299 kr349 kr

Beauty Is Our Business

Beauty Is Our Business

W.H.J. Feijen, A.J.M. van Gasteren, David Gries, J. Misra, W. H. J. Feijen, A. J. M. Van Gasteren, Wim Feijen

2 869 kr

Programming Concepts and Methods PROCOMET ’98

Programming Concepts and Methods PROCOMET ’98

David Gries, Willem-Paul de Roever

2 869 kr

Programming Methodology

Programming Methodology

729 kr

Multimedia Introduction to Programming Using Java

Multimedia Introduction to Programming Using Java

David Gries, Paul Gries

729 kr

Gries, D: Programlive Workbook and CD

Gries, D: Programlive Workbook and CD

David Gries, Paul Gries, Petra Hall

639 kr