Re:Dijkstra: Reasoning About Programs (1990) [video]
by zengid on Sunday May 20, 2018 @11:01AM
(#17112988)
I'm always excited when I realize that my one semester of Discrete Math allows me to understand lectures like this!
[ Parent
| on HN ]
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...