Pastāsti draugiem par šo preci:
Lambda Calculus with Types - Perspectives in Logic Barendregt, Henk (Radboud Universiteit Nijmegen)
Cena
€ 110,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 4. - 18. sept.
Saņemiet paziņojumus par jauniem Barendregt, Henk (Radboud Universiteit Nijmegen) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Lambda Calculus with Types - Perspectives in Logic
Barendregt, Henk (Radboud Universiteit Nijmegen)
Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.
854 pages, 52 b/w illus. 300 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2013. gada 20. jūnijs |
| ISBN13 | 9780521766142 |
| Izdevēji | Cambridge University Press |
| Lapas | 856 |
| Izmēri | 249 × 179 × 49 mm · 1,61 kg |
| Valoda | Angļu |
Vairāk no tā paša izdevēja
Skatīt visus Barendregt, Henk (Radboud Universiteit Nijmegen) ( piem., Hardcover Book )