Nimm drei und bezahle nur zwei mit dem Gutschein DREIFACH
Von Hand geprüft
Kostenloser Versand
Zweites Leben
Prueba automática de teoremas
von J. M. Lorente Tallada · · 127 Seiten
4 Personen sehen dies0 mal angesehen
4,3
Seiten: 127 SeitenAutor: J. M. Lorente TalladaVerlag: Verlag noch zu bestätigenFormat: TaschenbuchSprache: es-ESErscheinungsdatum: 1/1/1982ISBN: ISBN 9788485630479
Wähle den Zustand
Was jeder Zustand beinhaltet
AkzeptabelSichtbare Spuren am Cover. Inhalt vollständig, intakt und geprüft.
GutLeichte Spuren am Cover. Saubere Seiten und Rücken in gutem Zustand.
Sehr gutKaum sichtbare Spuren. Innen makellos. Fast keine Gebrauchsspuren.
NeuwertigKeine sichtbaren Spuren. Cover, Rücken und Seiten makellos.
NeuNeues Buch, ungebraucht. Direkt vom Verlag bestellt.
Der Zustand Neu wird nur nach Deutschland versendet, mit kostenlosem Versand ab 15 €. Alle anderen Zustände haben immer kostenlosen Versand ohne Mindestbestellwert.
* Alle unsere Produkte werden sorgfältig geprüft, um eine nachhaltige Kultur zu fördern.
Hamelyn Qualitätsgarantie
Jedes Produkt wird vor dem Versand geprüft, gereinigt und verifiziert. Wenn es nicht Ihren Erwartungen entspricht, erstatten wir Ihnen das Geld.
Inhaltsangabe von 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.
Weitere Titel für Fans von J. M. Lorente Tallada
Von Julia empfohlen
Meistverkaufte Bücher in Software-Engineering
Bestseller
Nimm 3 und zahle nur 2 · DREIFACH
-
MwSt. inbegriffen