Mes de la Madre hasta 80% dcto  Ver más

menú

0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada isabelle/hol,a proof assistant for higher-order logic
Formato
Libro Físico
Editorial
Autor
N° páginas
218
Peso
0.80
ISBN
9783540433767
ISBN13
9783540433767
Categorías

isabelle/hol,a proof assistant for higher-order logic

Tobias Nipkow (Autor) · springer verlag · Libro Físico

isabelle/hol,a proof assistant for higher-order logic - tobias nipkow

Libro Nuevo

$ 100.020

$ 138.920

Ahorras: $ 38.900

28% descuento
Calcula el costo de envío
  • Estado: Nuevo
  • Quedan 100+ unidades

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Origen: Estados Unidos (Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el Viernes 14 de Junio y el Miércoles 26 de Junio.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes