Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Chris Hawblitzel and Dale Miller

Want to read Amazon Logo Get it on Amazon
Details
Springer
9783642353093
paperback
2013
EN
316 pages
***

Organize your reading life.

Track all your reads in one place. Reads, plans, goals, and notes.

Get started