interactive theorem proving,first international conference, itp 2010, edinburgh, uk, july 11-14, 2010, proceedings
Matt (Edt) Kaufmann (Autor) · springer-verlag new york inc · Libro Físico
$ 2,207.72
$ 4,014.03
Ahorras: $ 1,806.31
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listas¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.