|
Textbook
Program Construction: Calculating Implementations from SpecificationsISBN: 978-0-470-84882-1
Paperback
368 pages
May 2003, ©2003
 This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.
|
||||||
- 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
Related Titles
General Programming & Software Development
Resources for
Instructors
Contact a Wiley Sales Rep
Find Your Rep
.png){kind=small}
Join An E-mail ListLearn about the latest products, events, offers and content. |
