Program Construction: Calculating Implementations from Specifications
Book Details
Author(s)
Roland Backhouse
Publisher
Wiley
ISBN / ASIN
0470848820
ISBN-13
9780470848821
Availability
Usually ships in 1-2 business days
Sales Rank
#3,493,653
Category
Computers
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
- 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
