Chris Hawblitzel

Chris Hawblitzel’s Followers

None yet.

Chris Hawblitzel

Combine Editions
Chris Hawblitzel’s books

Average rating: 4.0 · 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
by

Chris Hawblitzel (editor),

Dale Miller (Editor)

really liked it 4.00 avg rating — 1 rating — published 2012 — 3 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.