Bøger af David I. Spivak
Filter
Sorter efterSorter
Populære
-
- A Topos-Theoretic Approach to Systems and Behavior
1.299,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.299,95 kr.