 
Program Construction: Calculating Implementations from Specifications
ISBN: 978-0-470-84882-1
Paperback
352 pages
May 2003, ©2003
US $79.95
 Add to Cart
This price is valid for United States. Change location to view local pricing and availability. This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 2-3 days delivery time. The book is not returnable.
Other Available Formats: E-Book
|
Contact a Wiley Sales Rep
|
- 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
Share This
