Ebook: Program construction : calculating implementations from specifications
Author: Roland C Backhouse
- 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
Download the book Program construction : calculating implementations from specifications for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)