A Parable by Dijkstra (1973)

Re:A Parable by Dijkstra (1973) by bmer on Sunday July 15, 2018 @11:30PM (#17538553)

For those who want to see Dijkstra's mathematics of programs in action:

1) basic (great for kids, math novices, whatever): https://www.amazon.com/gp/product/0470684534/ref=dbs_a_def_r... (ignore the two star review, this book would get 5 stars from me)

2) advanced (free, complete with videos): http://www.cs.toronto.edu/~hehner/aPToP/

3) advanced: https://www.amazon.com/gp/product/0470848820/ref=dbs_a_def_r...

4) advanced, theoretical, from the man himself: https://www.springer.com/gp/book/9781461279242

[ Parent | on HN ]

Re:A Parable by Dijkstra (1973) by mcguire on Monday July 16, 2018 @12:20PM (#17542493)

Also, slightly less advanced:

A Discipline of Programming

https://www.amazon.com/Discipline-Programming-Edsger-W-Dijks...

For more practical fun, consider Frama-C, SPARK, and Dafny.

[ Parent | on HN ]

Re:A Parable by Dijkstra (1973) by madhadron on Monday July 16, 2018 @01:31PM (#17543096)

I learned this stuff from Roland's 'Program Construction'. Great book. Once you've been through that, then suddenly Dijkstra's writing becomes really practical.

[ Parent | on HN ]

Re:A Parable by Dijkstra (1973) by User23 on Monday July 16, 2018 @12:15PM (#17542455)

Also advanced, but quite readable: https://www.amazon.com/Discipline-Programming-Edsger-W-Dijks...

[ Parent | on HN ]

Re:A Parable by Dijkstra (1973) by jonsen on Monday July 16, 2018 @05:36AM (#17539875)

Ad 1) Two five-star reviews on amazon UK:

https://www.amazon.co.uk/Algorithmic-Problem-Solving-Roland-...

[ Parent | on HN ]

Re:A Parable by Dijkstra (1973) by jonsen on Monday July 16, 2018 @05:42AM (#17539914)

5) advanced: https://www.amazon.com/Science-Programming-Monographs-Comput...

[ Parent | on HN ]