Program Construction: Calculating Implementations from Specifications

Category: Programming
Author: Roland Backhouse
This Month Hacker News 1


by bmer   2018-07-19
For those who want to see Dijkstra's mathematics of programs in action:

1) basic (great for kids, math novices, whatever): (ignore the two star review, this book would get 5 stars from me)

2) advanced (free, complete with videos):

3) advanced:

4) advanced, theoretical, from the man himself: