Bøger af Patrick Schultz
Filter
Sorter efterSorter
Populære
-
- A Topos-Theoretic Approach to Systems and Behavior
1.266,95 kr. This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
- Bog
- 1.266,95 kr.