Interactive Theorem Proving Second International Conference Itp 2011 Berg En | Desertcart Panama
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings: 6898 (Lecture Notes in Computer Science)
ID del producto: 95210633
Transacción segura
Comprados juntos con frecuencia
Descripción
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings: 6898 (Lecture Notes in Computer Science)
Preguntas comunes
Trustpilot
Trustscore 4.5 | Más de 7,300 reseñas
Rajesh P.
El servicio al cliente fue excelente cuando tuve preguntas sobre el producto.
Hace 2 días
Por Ravi S.
Me encantó la variedad de productos disponibles. Definitivamente volveré a comprar.
