Emporta't tres i paga'n només dos amb el cupó TRIPLECAT
Prueba automática de teoremas
4,3
TecnologíaISBN | 9788485630479
-
IVA inclòs
Enviament GRATIS
Devolució gratuïta 30 dies
Paga amb:
Ofertes disponibles per estat
L'estat Nou només s'envia a Península, amb enviament gratuït en comandes a partir de 15 €. La resta d'estats tenen enviament gratuït sempre, sense import mínim.
* Tots els nostres productes són revisats curosament per fomentar la cultura sostenible.
Garantia de qualitat Hamelyn
Cada producte es revisa, neteja i verifica abans d'enviar-lo. Si no és el que esperaves, et retornem els diners.
Detalls del producte
Pàgines: 127 pàg
Autor: J. M. Lorente Tallada
Editorial: Editorial per confirmar
ISBN: 9788485630479
Format: Tapa tova
Idioma: es-ES
Publicació: 1/1/1982
ISBN: 9788485630479
Sinopsi 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ítols per a qui busca J. M. Lorente Tallada
Recomanat per Julia
Llibres més venuts de Enginyeria del programari
Més venuts
Última unitat!4 persones el tenen al carret
-
IVA inclòs