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

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

Prijs
€ 100,49

Besteld in een afgelegen magazijn

Verwachte levering 6 - 14 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

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

Ook verkrijgbaar 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

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. Hardcover Book en Paperback Book )