Autor: Thierry Coquand Ajutor1 Ebooks de Thierry Coquand Thierry Coquand & Peter Dybjer: Types for Proofs and Programs … PDF Engleză DRM €58.04 0 0 Casa 0,00 × × × Schimbați limba utilizatorului × ArabicGermanăEnglezăSpaniolăFrancezaHindusă IndonezianăItalianaMalaezianOlandezăPolonezăPortughezăRomânescRusăSuedezăTailandezTurcUcraineanVietnamezăChinezInternational Modal ×
