Thierry Coquand – författare
Visar alla böcker från författaren Thierry Coquand. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Häftad, Engelska, 2000
719 kr
Skickas inom 10-15 vardagar