Georges gonthier u a (1 Ergebnisse)
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Certified Programs and Proofs | Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings | Georges Gonthier (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2013 | Springer | EAN 9783319035444 | Verantwortliche Person für die EU:…Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
