interactive theorem proving,first international conference, itp 2010, edinburgh, uk, july 11-14, 2010, proceedings
matt (edt) kaufmann
·
springer-verlag new york inc
S/ 497,39
Ver Precio
Envío a todo Perú
Reseña del libro
Opiniones del Libro
Opiniones sobre Buscalibre
{{ nombre_cliente }}
"{{ opinion }}"
Ver más opiniones de clientes