Vinkkaa tuotetta kavereillesi:
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science 1998 edition
Christian Prehofer
Hinta
R 2.090
Tilattu etävarastosta
Arvioitu toimitus pe - ma 4. - 14. heinä
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science 1998 edition
Christian Prehofer
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. Hardcover Book Ja Paperback Book )