Specifying Software: A Hands-On Introduction cover
Specifying Software: A Hands-On Introduction
by R. D. Tennent
ISBN: 0521808146
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.
rramadass · 2019-11-13 · Original thread
Two books (get used copies for cheap);

* Foundations of Computer Science - http://infolab.stanford.edu/~ullman/focs.html

* Specifying Software: A Hands-On Introduction - https://www.amazon.com/Specifying-Software-Hands-Introductio... The name is a misnomer. See the ToC. This is actually a practical introduction to CS theory.