eBooks - Science & Technology - Mathematics - Roland Backhouse - Program Construction: Calculating Implementations from Specifications
Program Construction: Calculating Implementations from Specifications eBook
by Roland Backhouse
|
Platforms
Windows 98SE+, Mac OS X+, Palm Features
|
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 eBook