A Discipline of Programming

Category: Computer Science

Author: Edsger Wybe Dijkstra

4.3

This Month Hacker News 2

Avaliable on Amazon

Comments

by mcguire 2018-07-19

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.

Original Thread

by User23 2018-07-19

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

Original Thread

2018-07-19