Hoppa till sidans huvudinnehåll

Patrick Schultz - Böcker

Visar alla böcker från författaren Patrick Schultz.
1 produkt
Del 29 - Progress in Computer Science and Applied Logic

Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

Inbunden, Engelska, 2019

969 kr

Skickas inom 5-8 vardagar