Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Bücher - Birkhauser Boston Inc - 9780817640323 - 18. Dezember 1997
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Christian Prehofer
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science 1998 edition

Preis
SFr. 86,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

This monograph develops techniques for equational reasoning and declarative programming based on higher-order logic. The author presents a framework for the full integration of declarative programming models and shows its application.

188 pages, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 18. Dezember 1997
ISBN13 9780817640323
Verlag Birkhauser Boston Inc
Seitenanzahl 188
Maße 156 × 234 × 12 mm   ·   494 g
Sprache Englisch  

Alle Titel von Christian Prehofer ansehen ( u. a. Gebundenes Buch und Taschenbuch )