4 stores

Program Construction: Calculating Implementations from Specifications [first edition]

Compared at 4 stores·New and used ·Updated 1 day ago

Lowest $20.71Highest $100.27

Go to the $20.71 offer

Compare buying options

Four live offers. The cheapest is used, the cheapest new one costs $4.04 more.

Compare similar items

Sold byDetailsSpecial savingsItem price

AbeBooksUsed · updated 7 days ago

—

2.5% Cash Back

$20.71

Visit site

AlibrisNew · updated 15 days ago

$4.49 shipping

2% Cash Back

$24.75

Visit site

eCampusNew · updated 1 day ago

—

4% Cash Back

$31.20

Visit site

KnetbooksNew · updated 1 day ago

—

4% Cash Back

$100.27

Visit site

Product Description

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