Chris Hawblitzel – författare

Visar alla böcker från författaren Chris Hawblitzel. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Certified Programs and Proofs

   Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

   Av Chris Hawblitzel, Dale Miller

   Häftad, 2012

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in …

2. 

   Certified Programs and Proofs

   Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

   Av Dale Miller, Chris Hawblitzel

   E-bok, 2012

   739 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in …