Leve três e pague apenas dois com o cupão TRIPLOPT
Prueba automática de teoremas
4,3
TecnologíaISBN | 9788485630479
-
IVA incluído
Frete GRÁTIS
Devolução grátis em 30 dias
Paga com:
Ofertas disponíveis por estado
O estado Novo só é enviado para a Península, com envio grátis em encomendas a partir de 15 €. Os restantes estados têm sempre envio grátis, sem valor mínimo.
* Todos os nossos produtos são revisados cuidadosamente para promover uma cultura sustentável.
Garantia de qualidade Hamelyn
Cada produto é revisto, limpo e verificado antes do envio. Se não for o que esperava, devolvemos o dinheiro.
Detalhes do produto
Páginas: 127 pág
Autor: J. M. Lorente Tallada
Editora: Editora a confirmar
ISBN: 9788485630479
Formato: Capa mole
Idioma: es-ES
Data de publicação: 1/1/1982
ISBN: 9788485630479
Sinopse 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.
Mais títulos para quem procura J. M. Lorente Tallada
Recomendado por Julia
Livros mais vendidos de Engenharia de Software
Mais vendidos
Última unidade!4 pessoas têm-no no carrinho
-
IVA incluído