Pastāsti draugiem par šo preci:
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem David A. Schmidt izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1994. gada 1. marts |
| ISBN13 | 9780262691710 |
| Izdevēji | MIT Press Ltd |
| Lapas | 383 |
| Izmēri | 175 × 226 × 23 mm · 680 g |
| Sērijas redaktors | Garey, Michael R. |
| Sērijas redaktors | Meyer, Albert |
Vairāk no David A. Schmidt
Rādīt visu
Vairāk no tā paša izdevēja
Skatīt visus David A. Schmidt ( piem., Paperback Book )