Patrick Schultz – författare
Visar alla böcker från författaren Patrick Schultz. Handla med fri frakt och snabb leverans.
2 produkter
Temporal Type Theory
A Topos-Theoretic Approach to Systems and Behavior
Av Patrick Schultz, David I. Spivak
Inbunden, 2019
813 kr
Lägg i varukorg
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a …
Temporal Type Theory
A Topos-Theoretic Approach to Systems and Behavior
Av David I. Spivak, Patrick Schultz
E-bok, 2019
1785 kr
Lägg i varukorg
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a …
