Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice) cover
Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
by Robert L. Baber
ISBN: 0471930164
Found in 1 comment on Hacker News
View on Amazon
We may earn a commission from purchases made through links on this page.
Not ready yet? Get weekly book picks.
mannykannot · 2015-10-22 · Original thread
This wasn't my introduction to these methods, but I wish it was:

http://www.amazon.com/Error-Free-Software-Know-How-Correctne...