Del 29 - Progress in Computer Science and Applied Logic
Temporal Type Theory
A Topos-Theoretic Approach to Systems and Behavior
Inbunden, Engelska, 2019
1 029 kr
Skickas inom 5-8 vardagar
Patrick Schultz – författare
Visar alla böcker från författaren .
1 produkt
1 produkt