Software Foundations, Volume 3: Verified Functional Algorithms
by Andrew W. Appel
3.5(2 ratings)
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.Verified Functional Algorithms shows how a variety of fundamenta…