Thierry Coquand - Böcker

Visar alla böcker från författaren Thierry Coquand.

1 produkt

Kategorier

1 produkt

Types for Proofs and Programs

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

AvThierry Coquand,Peter Dybjer m. fl.

Häftad, Engelska, 2000

699 kr

Skickas inom 10-15 vardagar