Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Bøger - Birkhauser Boston Inc - 9780817640323 - 18. december 1997
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Christian Prehofer

Pris
CA$ 181,24

Bestilles fra fjernlager

Forventes klar til forsendelse 3. - 9. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 18. december 1997
ISBN13 9780817640323
Forlag Birkhauser Boston Inc
Antal sider 188
Mål 156 × 234 × 12 mm   ·   494 g
Sprog Engelsk  

Se alt med Christian Prehofer ( f.eks. Hardcover bog og Paperback Bog )