Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Książki - Birkhauser Boston Inc - 9780817640323 - 18 grudnia 1997
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 407,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 15 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 18 grudnia 1997
ISBN13 9780817640323
Wydawcy Birkhauser Boston Inc
Strony 188
Wymiary 156 × 234 × 12 mm   ·   494 g
Język Angielski  

Zobacz wszystko od Christian Prehofer ( np. Hardcover Book i Paperback Book )