Discover new books on Goodreads

See if your friends have read any of Chris Hawblitzel's books

Chris Hawblitzel

Chris Hawblitzel’s Followers

None yet.

Chris Hawblitzel

Combine Editions
Chris Hawblitzel’s books

Average rating: 4.00 · 1 rating · 0 reviews · 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, click here.

Is this you? Let us know. If not, help out and invite Chris to Goodreads.