search for books and compare prices
Program Construction: Calculating Implementations from Specifications
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
from John Wiley & Sons Inc (May 23, 2003)
9780470848821 | details & prices | 320 pages | 7.50 × 9.25 × 0.75 in. | 1.45 lbs | List price $88.05
About: 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
About: 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
Miscellaneous
from John Wiley & Sons Inc (December 2, 2003)
9780470864548 | details & prices | 352 pages | List price $50.00