Bøger af Ernest G. Manes
Filter
Sorter efterSorter
Populære
-
1.021,95 kr. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.
- Bog
- 1.021,95 kr.