Prendi tre e paghi solo due con il coupon TRIPLOIT
Prueba automática de teoremas
4,3
TecnologíaISBN | 9788485630479
-
IVA inclusa
Spedizione GRATUITA
Reso gratuito entro 30 giorni
Paga con:
Offerte disponibili per stato
Lo stato Nuovo viene spedito solo in Italia, con spedizione gratuita per ordini a partire da 15 €. Gli altri stati hanno sempre spedizione gratuita, senza importo minimo.
* Tutti i nostri prodotti sono controllati con cura per promuovere una cultura sostenibile.
Garanzia qualità Hamelyn
Ogni prodotto viene controllato, pulito e verificato prima della spedizione. Se non è quello che ti aspettavi, ti rimborsiamo.
Dettagli del prodotto
Pagine: 127 pag
Autore: J. M. Lorente Tallada
Editore: Editore da confermare
ISBN: 9788485630479
Formato: Brossura
Lingua: es-ES
Data di pubblicazione: 1/1/1982
ISBN: 9788485630479
Sinossi di 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.
Altri titoli per chi cerca J. M. Lorente Tallada
Consigliato da Julia
Libri più venduti di Ingegneria del software
Più venduti
Ultima unità!4 persone lo hanno nel carrello
-
IVA inclusa