Neem er drie mee en betaal er maar twee met kortingscode DRIEVOUDIG
Met de hand gecontroleerd
GRATIS verzending
Tweede leven
Prueba automática de teoremas
door J. M. Lorente Tallada · · 127 pagina's
8 mensen bekijken dit1 keer bekeken
4,3
Pagina's: 127 pagina'sAuteur: J. M. Lorente TalladaUitgever: Uitgever nog te bevestigenFormaat: PaperbackTaal: es-ESPublicatiedatum: 1/1/1982ISBN: ISBN 9788485630479
Kies de staat
Wat elke staat inhoudt
AcceptabelZichtbare sporen op de cover. Inhoud volledig, intact en gecontroleerd.
GoedLichte sporen op de cover. Schone pagina's en rug in goede staat.
FantastischNauwelijks waarneembare sporen. Binnenkant onberispelijk. Bijna geen gebruikssporen.
UitstekendGeen zichtbare sporen. Cover, rug en pagina's onberispelijk.
NieuwNieuw boek, ongebruikt. Direct bij de uitgever besteld.
De staat Nieuw wordt alleen naar Nederland verzonden, met gratis verzending vanaf €15. Alle andere staten hebben altijd gratis verzending, zonder minimumbedrag.
* Al onze producten worden zorgvuldig gecontroleerd om duurzame cultuur te bevorderen.
Hamelyn kwaliteitsgarantie
Elk product wordt gecontroleerd, schoongemaakt en geverifieerd vóór verzending. Als het niet is wat je verwachtte, betalen we je geld terug.
Synopsis van 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.
Meer titels voor liefhebbers van J. M. Lorente Tallada
Aanbevolen door Julia
Best verkochte boeken in Software-engineering
Bestsellers
Neem er 3, betaal er 2 · DRIEVOUDIG
-
Inclusief btw