Top 98 cpp auth PDF Book Page 3

book image

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.)
·318 Pages
·2013
·3.543 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.