Program Construction: Calculating Implementations from Specifications eBook

Program Construction: Calculating Implementations from Specifications

by Roland Backhouse

Program Construction: Calculating Implementations from Specifications

Adobe

Platforms
Windows Vista / XP / 2000, Mac OS X, Sony Reader

Features
Advanced navigation, search, bookmarks, and multiple viewing options.

Availability:
Download Now

Price: $78.00

Program Construction: Calculating Implementations from Specifications Summary

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

eBooks > Titles > Authors > Science & Technology > Mathematics > Roland Backhouse > Program Construction: Calculating Implementations from Specifications