Programming with Higher-Order Logic - Dale Miller - Kirjat - Cambridge University Press - 9780521879408 - maanantai 11. kesäkuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Dale Miller
Programming with Higher-Order Logic

Hinta
€ 78,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 9. - 17. syys
Saat ilmoituksen artistin Dale Miller uusista julkaisuista

Asiakkaamme sanovat:

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

Ei vielä arvioitu

Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.

320 pages, 81 b/w illus.

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 11. kesäkuuta 2012
ISBN13 9780521879408
Tuottaja Cambridge University Press
Sivujen määrä 320
Mitta 160 × 237 × 23 mm   ·   616 g
Kieli Englanti  

Lisää samalta julkaisijalta

Katso kaikki joka sisältää Dale Miller ( Esim. CD , Paperback Book , Hardcover Book Ja SCD )