Autor: The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven Ajutor1 Ebooks de The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven Herman Geuvers & Rob Nederpelt: Type Theory and Formal Proof … PDF Engleză DRM €86.30 0 0 Casa 0,00 × × × Schimbați limba utilizatorului × ArabicGermanăEnglezăSpaniolăFrancezaHindusă IndonezianăItalianaMalaezianOlandezăPolonezăPortughezăRomânescRusăSuedezăTailandezTurcUcraineanVietnamezăChinezInternational Modal ×