iNetHouse
Posted: January 3rd, 2008, 2:49am CET

- Paperback: 320 pages
- Publisher: Wiley (April 23, 2003)
- Language: English
- ISBN-10: 0470848820
- 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
RapidShare Link
Full download