MayDay Sale → Spare bis zu 60 %
Alles von 1 Georges Gonthier auf Taschenbuch
Kategorien
Andere
Kundenservice
EUR
![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 (Taschenbuch) [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-taschenbuch&class=scaled&v=1440100309)