De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Bøger af Flemming (Aarhus Universitet Nielson

Filter
Filter
Sorter efterSorter Populære
  • af Denmark) Nielson, Flemming (Aarhus Universitet & Hanne Riis (Aarhus Universitet
    607,95 - 1.449,95 kr.

    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.