Hoppa till sidans huvudinnehåll

Thierry Coquand – författare

Visar alla böcker från författaren .
1 produkt
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad

729 kr

Skickas inom 10-15 vardagar