 Program Construction: Calculating Implementations from Specifications
ISBN: 978-0-470-84882-1
Paperback
352 pages
May 2003
US $70.00
 Add to Cart
This price is valid for United States. Change location to view local pricing and availability. Other Available Formats: Adobe E-Book
|
Visit Wiley's Higher Education Site for:
Instructors may request an evaluation copy for this title.
|
- 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
