Interactive Theorem Proving Second International Conference Itp 2011 Berg En | Desertcart Argentina
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
Aisha M.
El producto coincide exactamente con la descripción. Muy satisfecho con mi compra.
Hace 5 días
Alí H.
Envío rápido y embalaje excelente. La herramienta Leatherman parece de primera calidad y resistente.
