A Discipline of Programming

Category: Computer Science
Author: Edsger Wybe Dijkstra
4.3
This Month Hacker News 2

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.

by User23   2018-07-19
Also advanced, but quite readable: https://www.amazon.com/Discipline-Programming-Edsger-W-Dijks...