Hacker News Books
This Week
Languages
▼
C
C#
C++
Clojure
CSS
Dart
Elixir
Erlang
Fortran
Go
Haskell
HTML
Java
JavaScript
Julia
Kotlin
Lisp
Lua
Markdown
MATLAB
Objective-C
Perl
PHP
Python
R
Ruby
Rust
Scala
Shell
SQL
Swift
TypeScript
Visual Basic
XHTML
XML
YAML
Zig
Lists
▼
Founder Favorites
All Time Top Books
Interviews
▼
Gabriel Weinberg (DuckDuckGo)
Ray Grieselhuber (DemandSphere)
Newsletter
Blog
▼
Reviews
Changelog
Top Books Of All Time
Top Books By Month
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
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...
http://www.amazon.com/Error-Free-Software-Know-How-Correctne...