Program Construction
Calculating Implementations from Specifications
by Roland Backhouse

🔍 Program Construction : CLICK HERE 🔍

• Publisher: Wiley
• Language: english
• Genres: programming
• Author: Roland Backhouse
• Release date: May 7, 2003
• ISBN: 9780470848821 (0470848820)
• Format: paperback, 352 pages

About The Book

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

TXT ebook Program Construction Roland Backhouse read. MOBI Program Construction download on reader on Kobo. Paperback book Program Construction buy cheap on Audible.