Program Construction: Calculating Implementations from Specifications
Book Details
Author(s)Roland Backhouse
PublisherWiley
ISBN / ASIN0470848820
ISBN-139780470848821
AvailabilityUsually ships in 1-2 business days
Sales Rank3,493,653
CategoryComputers
MarketplaceUnited States 🇺🇸
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
More Books in Computers
More Books by Roland Backhouse
