![Program Construction: Calculating Implementations from Specifications by Roland Backhouse [Repost]](https://pixhost.icu/avaxhome/44/cd/0030cd44_medium.jpeg)
Program Construction: Calculating Implementations from Specifications by Roland Backhouse [Repost]
![Program Construction: Calculating Implementations from Specifications by Roland Backhouse [Repost]](https://pixhost.icu/avaxhome/44/cd/0030cd44.jpeg)
Program Construction: Calculating Implementations from Specifications by Roland Backhouse
Wiley; 1 edition | May 7, 2003 | English | ISBN: 0470848820 | 354 pages | PDF | 19 MB
Wiley; 1 edition | May 7, 2003 | English | ISBN: 0470848820 | 354 pages | PDF | 19 MB
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