Goodreads helps you keep track of books you want to read.
Start by marking “Program Construction: Calculating Implementations from Specifications” as Want to Read:
Program Construction: Calculating Implementations from Specifications
Enlarge cover
Rate this book
Clear rating
Open Preview

Program Construction: Calculating Implementations from Specifications

0.0  ·  Rating Details ·  0 Ratings  ·  0 Reviews
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 ...more
Paperback, 352 pages
Published May 7th 2003 by John Wiley & Sons (first published April 23rd 2003)
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Program Construction, please sign up.

Be the first to ask a question about Program Construction

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-15)
filter  |  sort: default (?)  |  Rating Details
Oct 04, 2010 Ronny rated it did not like it
Shelves: programming, math
I did not feel like this book provided any good information, and it felt padded to boot. In fact, after a while I lost patience and started skimming.

For instance, several pages were wasted on an explanation of an algorithm that could have been given in a single paragraph. Then time was spent on a very awkward proof involving the relationship between sums of SPECIFIC numbers, which one could simply test directly. The author may have made some point about the awkwardness of the proof, but there wa
Chris Newcombe
Chris Newcombe rated it it was amazing
Dec 25, 2013
Alftheo Potgieter
Alftheo Potgieter rated it liked it
Feb 14, 2012
Jigar Mehta
Jigar Mehta marked it as to-read
Oct 23, 2007
Ben added it
Aug 31, 2011
Hazel added it
Apr 08, 2016
James added it
Jan 26, 2013
Ddd marked it as to-read
Nov 13, 2013
Quentin marked it as to-read
May 14, 2014
Safi Shehanshah
Safi Shehanshah marked it as to-read
Oct 28, 2014
Ambrose marked it as to-read
May 06, 2015
Software marked it as to-read
Feb 17, 2016
Nelson Scauso
Nelson Scauso marked it as to-read
Aug 16, 2016
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

Share This Book