Povej prijatelju o tem izdelku:
The Structure of Typed Programming Languages - Foundations of Computing David A. Schmidt
Do you have a profile? Prijava
Prejemajte obvestila o novih izdajah izvajalca David A. Schmidt
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja 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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 1. marca 1994 |
| ISBN13 | 9780262691710 |
| Založniki | MIT Press Ltd |
| Strani | 383 |
| Dimenzije | 175 × 226 × 23 mm · 680 g |
| Urednik serije | Garey, Michael R. |
| Urednik serije | Meyer, Albert |
