Zeitliche Typentheorie: Ein topos-theoretischer Ansatz zu Sys - Hardcover NEU Schultz,
79,16 €
Title:-Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic). Author:-Schultz, Patrick. Genre:-Science, Mathematics, Algebra. Publisher:-Springer Nature Switzerland AG.
Jetzt bei Ebay: