Povedzte o tejto položke priateľom:
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt
Do you have a profile? Prihlásiť sa
Vianočné darčeky je možné vrátiť do 31. januára
Dostávajte upozornenia na nové nahrávky interpreta David A. Schmidt
Naši zákazníci hovoria:
Pridať do vášho zoznamu prianí na iMusic
The Structure of Typed Programming Languages - Foundations of Computing
David A. Schmidt
The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.
383 pages
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 01. marca 1994 |
| ISBN13 | 9780262691710 |
| Vydavatelia | MIT Press Ltd |
| Strany | 383 |
| Rozmery | 175 × 226 × 23 mm · 680 g |
| Editor série | Garey, Michael R. |
| Editor série | Meyer, Albert |
