Software Foundations Vol 3: Verified Functional Algorithms

By: Andrew W Appel  

Tags: Software engineering  

Read online