Yves bertot u a (3 resultados)
- Tapa blanda
Librería: Studibuch, Stuttgart, AlemaniaStudibuch
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 7,99
Envío por EUR 62,30Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
paperback. Condición: Gut. 372 Seiten; 9783540664635.3 Gewicht in Gramm: 1.
Más imágenesIdioma: Inglés
Editorial: Springer, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 82,05
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions | Yves Bertot (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xxv | Englisch | 2010 | Springer | EAN 9783642058806 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Más imágenes- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 207,85
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. Condición: Neu. From Semantics to Computer Science | Yves Bertot (u. a.) | Buch | Englisch | 2009 | Cambridge University Press | EAN 9780521518253 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
