Interactive Theorem Proving Second International Conference Itp 2011 Berg En | Desertcart Bolivia
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
Sneha T.
Recibí mi producto en perfectas condiciones. Excelente servicio en general.
Hace 1 mes
El rey F.
Tienda muy confiable con productos genuinos. ¡Seguro que volveré a comprar!
