FREE Delivery in the UK.
In stock.
Dispatched from and sold by Amazon. Gift-wrap available.
Program Construction: Cal... has been added to your Basket
+ £2.80 delivery
Used: Very Good | Details
Condition: Used: Very Good
Comment: Expedited shipping available on this book. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Program Construction: Calculating Implementations from Specifications Paperback – 25 Apr 2003

See all 2 formats and editions Hide other formats and editions
Amazon Price
New from Used from
£36.32 £14.25
Note: This item is eligible for click and collect. Details
Pick up your parcel at a time and place that suits you.
  • Choose from over 13,000 locations across the UK
  • Prime members get unlimited deliveries at no additional cost
How to order to an Amazon Pickup Location?
  1. Find your preferred location and add it to your address book
  2. Dispatch to this address when you check out
Learn more
click to open popover

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone

To get the free app, enter your mobile phone number.

Only on Amazon: One product for every need Only on Amazon: New Releases

Product details

  • Paperback: 354 pages
  • Publisher: John Wiley & Sons (25 April 2003)
  • Language: English
  • ISBN-10: 9780470848821
  • ISBN-13: 978-0470848821
  • ASIN: 0470848820
  • Product Dimensions: 19.1 x 2 x 23.9 cm
  • Average Customer Review: Be the first to review this item
  • Amazon Bestsellers Rank: 2,117,151 in Books (See Top 100 in Books)
  • Would you like to tell us about a lower price?
    If you are a seller for this product, would you like to suggest updates through seller support?

  • See Complete Table of Contents

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. This book provides straightforward presentation of construction principles including: assignment axiom, sequential composition, case analysis, use of invariants and bound functions. It includes a wide range of entertaining and challenging examples and exercises.

From the Back Cover

The ever-increasing dependence of our lives and livelihoods on thecorrect functioning of computer software means that logic andprogram correctness are core elements of all good computer sciencedegrees. This book presents both these topics in one self-containedtext.

The focus of the book is on "correct-by-construction" programdesign -- the discipline of calculating programs from theirspecifications. Modern, calculational logic is introduced incombination with key program construction principles, such as theassignment axiom, loop invariants and bound functions. Thismaterial is intertwined with motivational discussion, programmingexamples and challenging problem-solving exercises, bringing thebook alive for its intended audience, undergraduates in computerscience and mathematics, as well as professional programmerswishing to further develop their programming skills.

The book covers the elements of logic and program correctness thatform the foundations of further study --- the logical connectivesand their algebraic properties, induction, quantifiers and programconstruction rules. Substantial examples of program constructionare included. Many exercises are provided, all with detailedsolutions.

See all Product description

No customer reviews

Review this product

Share your thoughts with other customers

Most helpful customer reviews on 4.0 out of 5 stars 1 reviews
Jack D. Herrington
4.0 out of 5 starsHow to build provably correct programs
29 December 2004 - Published on
6 people found this helpful.

Where's My Stuff?

Delivery and Returns

Need Help?