Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Boeken - Birkhauser Boston Inc - 9780817640323 - 18 december 1997
Indien omslag en titel niet overeenkomen, is de titel correct

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

Christian Prehofer

Prijs
₩ 162.192

Besteld in een afgelegen magazijn

Verwachte levering 31 jul. - 8 aug.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
Eller

Ook verkrijgbaar als:

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

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 18 december 1997
ISBN13 9780817640323
Uitgevers Birkhauser Boston Inc
Pagina's 188
Afmetingen 156 × 234 × 12 mm   ·   494 g
Taal en grammatica Engels  

Bekijk alles van Christian Prehofer ( bijv. Paperback Book en Hardcover Book )