|
Program Construction: Calculating Implementations from Specifications |
|
Written by Talal Masood
|
|
Sunday, 30 September 2007 |
|
Program Construction: Calculating Implementations from Specifications  Wiley (2003-04-23) | ISBN: 0470848820 | 320 pages | PDF | 18.17Mb
* 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 Free Program Construction: Calculating Implementations from Specifications (ebook / pdf) http://depositfiles.com/files/1917644
|