Llévate tres y paga solo dos con el cupón TRIPLE
Revisado a mano
Envío GRATIS
Segunda vida
Prueba automática de teoremas
por J. M. Lorente Tallada · · 127 pag
3 personas viendo estoVisto 1 veces
4,3
Páginas: 127 pagAutor: J. M. Lorente TalladaEditorial: Editorial por confirmarFormato: Tapa blandaIdioma: es-ESPublicación: 1/1/1982ISBN: ISBN 9788485630479
Elige el estado de conservación
Qué incluye cada estado
BuenoMarcas visibles en cubierta. Contenido completo, íntegro y revisado.
GenialLigeras marcas en cubierta. Páginas limpias y lomo en buen estado.
FantásticoMarcas apenas perceptibles. Interior impecable. Casi sin señales de uso.
ExcelenteSin marcas visibles. Cubierta, lomo y páginas impecables.
NuevoLibro nuevo, sin uso. Pedido directamente a fábrica.
El estado Nuevo solo se envía a Colombia, 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.
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
Llévate 3 y paga solo 2 · TRIPLE
-
IVA incluido