Suchergebnisse für "Schultz, Patrick/Spivak, David I"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Schultz, Patrick/Spivak, David I" gefunden.
Katalogsuche
Temporal Type Theory
eBook - A Topos-Theoretic Approach to Systems and Behavior, Mathematics and Statistics (R0)
Schultz, Patrick/Spivak, David I
BIRKHÄUSER
136,95 €
(inklusive MwSt.)
Lieferbar
Temporal Type Theory
A Topos-Theoretic Approach to Systems and Behavior, Progress in Computer Science and Applied Logic 29
Schultz, Patrick/Spivak, David I
Springer Basel AG
128,39 €
(inklusive MwSt.)
Lieferbar
