Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Kirjat - Birkhauser Boston Inc - 9780817640323 - torstai 18. joulukuuta 1997
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Christian Prehofer

Hinta
₺ 4.626,60

Tilattu etävarastosta

Arvioitu toimitus pe - ma 4. - 14. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 18. joulukuuta 1997
ISBN13 9780817640323
Tuottaja Birkhauser Boston Inc
Sivujen määrä 188
Mitta 156 × 234 × 12 mm   ·   494 g
Kieli English  

Katso kaikki joka sisältää Christian Prehofer ( Esim. Paperback Book Ja Hardcover Book )