Bøger af Flemming (Aarhus Universitet Nielson
Filter
Sorter efterSorter
Populære
-
607,95 - 1.490,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.
- Bog
- 607,95 kr.