Casttran pierre (2 resultados)
Interactive Theorem Proving And Program Development : Coq'art: The Calculus Of Inductive Constructions
Bertot, Yves; CastTran, Pierre; Huet, Gerard (FRW); Paulin-Mohring, Christine (FRW)
Idioma: Inglés
Editorial: Springer, 2004
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 150,29
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Interactive Theorem Proving And Program Development : Coq'art: The Calculus Of Inductive Constructions
Bertot, Yves; CastTran, Pierre; Huet, Gerard (FRW); Paulin-Mohring, Christine (FRW)
Idioma: Inglés
Editorial: Springer, 2004
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 275,55
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
