Pastāsti draugiem par šo preci:
Domain-theoretic Foundations Of Functional Programming Streicher, Thomas (Technische Univ Darmstadt, Germany)
Cena
€ 53,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 25. aug. - . gada 8. sept.
Saņemiet paziņojumus par jauniem Streicher, Thomas (Technische Univ Darmstadt, Germany) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Domain-theoretic Foundations Of Functional Programming
Streicher, Thomas (Technische Univ Darmstadt, Germany)
Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of logical relations as developed by Scott and Plotkin. It also introduces computability in Scott domains.
132 pages, illustrations
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2006. gada 5. decembris |
| ISBN13 | 9789812701428 |
| Izdevēji | World Scientific Publishing Co Pte Ltd |
| Lapas | 132 |
| Izmēri | 164 × 236 × 14 mm · 374 g |
Vairāk no tā paša izdevēja
Skatīt visus Streicher, Thomas (Technische Univ Darmstadt, Germany) ( piem., Hardcover Book )