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