Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved i [...]
Visa längre beskrivning
Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
---|---|---|---|---|---|---|
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp | 318.00 kr | I lager | 5-8 dagar | 318.00 kr | Till butik | |
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 338.00 kr | I lager | 5-7 dagar | 338.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!