R Backhouse
Program Construction – Calculating Implementations from Specifications
Calculating Implementations from Specifications
Paperback Engels 2003 9780470848821
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
Unique approach tackles what most books don′t–why maths and logic are fundamental tools for a programmer
This comprehensive guide is a balanced combination of mathematical theory and the practice of programming
Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions
Includes a wide range of entertaining and challenging examples and exercises
Specificaties
ISBN13:9780470848821
Taal:Engels
Bindwijze:paperback
Aantal pagina's:354
Uitgever:John Wiley & Sons
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Preface.
<p>A Science of Computing.</p>
<p>A Searching Problem and Its Solution.</p>
<p>Calculational Proof.</p>
<p>Implementation Issues.</p>
<p>Calculational Logic: Part 1.</p>
<p>Number Conversion.</p>
<p>Calculational Logic: Part 2.</p>
<p>Maximum and Minimum.</p>
<p>The Assignment Statement.</p>
<p>Sequential Composition and Conditional Statements.</p>
<p>Quantifiers.</p>
<p>Inductive Proofs and Constructions.</p>
<p>Iteration.</p>
<p>Sorting and Searching Algorithms.</p>
<p>Remainder Computation.</p>
<p>Cyclic Codes.</p>
<p>Appendix.</p>
<p>Solutions to Exercises.</p>
<p>References.</p>
<p>Glossary of Symbols.</p>
<p>Index.</p>
<p>A Science of Computing.</p>
<p>A Searching Problem and Its Solution.</p>
<p>Calculational Proof.</p>
<p>Implementation Issues.</p>
<p>Calculational Logic: Part 1.</p>
<p>Number Conversion.</p>
<p>Calculational Logic: Part 2.</p>
<p>Maximum and Minimum.</p>
<p>The Assignment Statement.</p>
<p>Sequential Composition and Conditional Statements.</p>
<p>Quantifiers.</p>
<p>Inductive Proofs and Constructions.</p>
<p>Iteration.</p>
<p>Sorting and Searching Algorithms.</p>
<p>Remainder Computation.</p>
<p>Cyclic Codes.</p>
<p>Appendix.</p>
<p>Solutions to Exercises.</p>
<p>References.</p>
<p>Glossary of Symbols.</p>
<p>Index.</p>
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan