booktheque

Program Construction

Roland C. Backhouse · 2003

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

About the book

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

Book details

Year
2003
Language
English
Publisher
Wiley
Editions
3
Pages
320
ISBN
9780470848821

Data source: Wikidata

More by Roland C. Backhouse

Generic programming
Roland C. Backhouse · 2003
Algorithmic problem solving
Roland C. Backhouse · 2011
Datatype-Generic Programming
Roland C. Backhouse · 2007
Algorithmic Problem Solving
Roland C. Backhouse · 2012
Datatype-generic Programming
Roland C. Backhouse · 2008
Mathematics of Program Construction
Roland C. Backhouse · 2006
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland C. Backhouse · 2003