News for hackers. Stuff that matters.

A comment on Dijkstra: Reasoning About Programs (1990) [video]. Parent comment

Re:Dijkstra: Reasoning About Programs (1990) [video] by jonsen on Sunday May 20, 2018 @03:39PM (#17114400)
If you are tempted to dig further into these techniques there's this book:

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

[ Parent | on HN ]

There are no comments on this comment yet.