-von-Schultz-676148651.jpg "Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)")
Beschreibung
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29) von Schultz im Online-Buchhandel:
-von-Schultz-676157507.jpg "Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)")
Bewerte das Buch
- Habe ich gelesen
- Möchte ich noch lesen
- Lieblingsbücher
- Wunschliste
Weitere Bücher von Schultz
-748002299.jpg "Im Detail: Einfamilienhäuser: Konzepte, Planung, Konstruktion (Im Detail (deutsch))")
-218876321.jpg "Tragwerke (Baukonstruktionen, 2)")
