Books by Chris Hawblitzel

Chris Hawblitzel

Chris Hawblitzel
Average rating 4.00 · 1 rating · 0 reviews · shelved 1 time

Showing 1 distinct work.

Certified Programs and Proo...

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, 7679)
by

Chris Hawblitzel (Editor),

Dale Miller (Editor)

really liked it 4.00 avg rating — 1 rating — published 2012 — 2 editions

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.