Todos los 1 Georges Gonthier lanzamientos en Paperback Book
Categorías
Otros
Atención al cliente
MXN
![Cover for Georges Gonthier · Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/444/9783319035444.jpg?georges-gonthier-2013-certified-programs-and-proofs-third-international-conference-cpp-2013-melbourne-vic-australia-december-11-13-2013-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1440100309)