Utvidet returrett til 31. januar 2025

Bøker av Flemming (Aarhus Universitet Nielson

Filter
Filter
Sorter etterSorter Populære
  • av Denmark) Nielson, Flemming (Aarhus Universitet & Hanne Riis (Aarhus Universitet
    641 - 1 626,-

    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.

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.