 |
 |
 |
Program Construction: Calculating Implementations from Specifications
Roland Backhouse,
The University of Nottingham, UK
ISBN: 978-0-470-84882-1
©2003
352 pages
|
|
|
 |
Hallmark Features
|
- 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
|
|
|
|
|
Shopping Cart
My Account
Help
Contact Us 
