Chris hawblitzel u a (1 risultati)

Autore:

Certified Programs and Proofs | Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Chris Hawblitzel (u. a.)
Lingua: Inglese
Editore: Springer, 2012
364235307X / 9783642353079
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 50,45
EUR 70,00 spedizione
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Certified Programs and Proofs | Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings | Chris Hawblitzel (u. a.) | Taschenbuch | x | Englisch | 2012 | Springer | EAN 9783642353079 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Scopri altri titoli di Dale Miller
Scopri le opere pubblicate e le offerte di articoli da collezione.Scopri Dale Miller

Certified Programs and Proofs | Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings