Program Construction: Calculating Implementations from Specifications
Program Construction: Calculating Implementations from Specifications
R
R 1650.00
Program Construction: Calculating Implementations from Specifications
R. Backhouse
Out of Stock
Can Order
Estimated Dispatch Date:
27 Jan 2025
Program Construction: Calculating Implementations from Specifications
Share:
Description
Unique approach tackles what most books don't - why math 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 including: assignment axiom, sequential composition, case analysis, use of invariants and bound functions. Includes a wide range of entertaining and challenging examples and exercises
Product Information
ISBN13 (SKU)
9780470848821
Title
Program Construction: Calculating Implementations from Specifications
Author
R. Backhouse
Edition
1st
Publisher
John Wiley
Publication Date
2003
Country of Publication
United States
Format Type
Physical
Number of Pages
354
