Found in 1 comment on Hacker News
bmer · 2016-05-29 · Original thread
E. Hehner has a course called "Formal Methods for Software Design", which he presents completely openly online (including video lectures, a textbook, solutions, and so on):

I really liked it.

I also liked R. Backhouse's approach to it, encapsulated in two books:

1) less playful:

2) more playful:

If you are looking for motivation, you might also like:


I found Dijkstra's stuff to be easier to read after I had read books by Hehner/Backhouse, even though chronologically, Dijkstra came first.

Fresh book recommendations delivered straight to your inbox every Thursday.