Udvidet returret til d. 31. januar 2025

Bøger af Flemming (Aarhus Universitet Nielson

Filter
Filter
Sorter efterSorter Populære
  • af Denmark) Nielson, Flemming (Aarhus Universitet & Hanne Riis (Aarhus Universitet
    583,95 - 1.489,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.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.