Fortæl dine venner om denne vare:
Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science Nielson, Flemming (Aarhus Universitet, Denmark)
Pris
DKK 1.264
Bestilles fra fjernlager
Forventes klar til forsendelse 8. - 15. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science
Nielson, Flemming (Aarhus Universitet, Denmark)
The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.
311 pages, 4 b/w illus. 35 tables
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 16. juli 1992 |
| ISBN13 | 9780521403849 |
| Forlag | Cambridge University Press |
| Antal sider | 312 |
| Mål | 170 × 244 × 19 mm · 714 g |
| Sprog | Engelsk |