Libro Automated Deduction - Cade-18 : 18th International ...
Disponible 24 días después de tu compra
MercadoLíder | +5mil ventas
Información sobre el vendedor
MercadoLíder Platinum
¡Es uno de los mejores del sitio!
- +5mil
Ventas concretadas
Brinda buena atención
Entrega sus productos a tiempo
Medios de pago
Tarjetas de crédito
¡Paga en hasta 48 cuotas!
Tarjetas de débito
Efectivo
Características del producto
Características principales
Título del libro | Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen,... |
---|---|
Autor | Andrei Voronkov |
Idioma | Inglés |
Editorial del libro | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
Tapa del libro | Blanda |
Marca | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
Modelo | Andrei Voronkov |
Otras características
Altura | 235 mm |
---|---|
Ancho | 155 mm |
Peso | 762 g |
Con realidad aumentada | No |
Tipo de narración | Libro |
Edad mínima recomendada | 0 años |
Edad máxima recomendada | 100 años |
ISBN | 9783540439318 |
Descripción
LIBERATE LIBROS
Todos nuestros libros los importamos a pedido. Cuando usted compra, realizamos el pedido a la editorial en el exterior y lo importamos. Una vez recibido en nuestro depósito lo enviamos a su domicilio.
El tiempo de entrega es el que muestra la publicacion
Preguntas y respuestas
¿Qué quieres saber?
Pregúntale al vendedor
Nadie ha hecho preguntas todavía.
¡Haz la primera!