Llévate tres y paga solo dos con el cupón TRIPLE
Prueba automática de teoremas
4.3
TecnologíaISBN | 9788485630479
-
IVA incluido
Envío GRATIS
Devolución gratis 30 días
Paga con:
Ofertas disponibles por estado
El estado Nuevo solo se envía a México, con envío gratis en pedidos a partir de 15€. El resto de estados llevan envío gratis siempre, sin importe mínimo.
* Todos nuestros productos son revisados cuidadosamente para fomentar la cultura sostenible.
Garantía de calidad Hamelyn
Cada producto se revisa, limpia y verifica antes de enviarlo. Si no es lo que esperabas, te devolvemos el dinero.
Detalles del producto
Páginas: 127 pag
Autor: J. M. Lorente Tallada
Editorial: Editorial por confirmar
ISBN: 9788485630479
Formato: Tapa blanda
Idioma: es-ES
Publicación: 1/1/1982
ISBN: 9788485630479
Sinopsis de Prueba automática de teoremas
Este libro, titulado 'Prueba automática de teoremas', es una exploración del campo de la demostración automática de teoremas. Publicado en 1982, el libro consta de 127 páginas y está escrito en español. Es una obra que profundiza en los aspectos teóricos y prácticos de la automatización de la demostración de teoremas, ofreciendo una visión detallada de los métodos y técnicas utilizados en este campo.
Más títulos para quienes buscan J. M. Lorente Tallada
Recomendado por Julia
Libros más vendidos de Ingeniería del software
Más vendidos
¡Última unidad!4 personas lo tienen en su carrito
-
IVA incluido