TY  - BOOK
AU  - Backhouse,Roland C.
TI  - Program Construction: Calculating Implementations from Specifications 
SN  - 0470848820 (Paper : alk. paper)
AV  - QA76.6 .B29 2003
PY  - 2003///
CY  - Chichester, West Sussex, England
PB  - Wiley
KW  - Computer programming
N1  - Includes bibliographical references and index; Preface.A Science of Computing.A Searching Problem and Its Solution.Calculational Proof.Implementation Issues.Calculational Logic: Part 1.Number Conversion.Calculational Logic: Part 2.Maximum and Minimum.The Assignment Statement.Sequential Composition and Conditional Statements.Quantifiers.Inductive Proofs and Constructions.Iteration.Sorting and Searching Algorithms.Remainder Computation.Cyclic Codes.Appendix.Solutions to Exercises.References.Glossary of Symbols.Index
N2  - 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. This book provides straightforward presentation of construction principles including: assignment axiom, sequential composition, case analysis, use of invariants and bound functions. It includes a wide range of entertaining and challenging examples and exercises
ER  -