Marknadens största urval
Snabb leverans

Böcker av Flemming (Aarhus Universitet Nielson

Filter
Filter
Sortera efterSortera Populära
  • av Denmark) Nielson, Flemming (Aarhus Universitet & Hanne Riis (Aarhus Universitet
    756 - 1 796,-

    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 tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.