Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Böcker - Birkhauser Boston Inc - 9780817640323 - 18 december 1997
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.059

Beställningsvara

Förväntad leverans 13 - 21 jan 2026

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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 Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 18 december 1997
ISBN13 9780817640323
Utgivare Birkhauser Boston Inc
Antal sidor 188
Mått 156 × 234 × 12 mm   ·   494 g
Språk Engelska  

Se alt med Christian Prehofer ( t.ex. Inbunden Bok och Pocketbok )