Autore: The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven Supporto1 Ebook di The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven Herman Geuvers & Rob Nederpelt: Type Theory and Formal Proof … PDF Inglese DRM €86.30 0 0 Cassa 0,00 × × × Cambia la lingua dell'utente × AraboTedescoIngleseSpagnoloFranceseHindiIndonesianoItalianoMaleseOlandesePolaccoPortogheseRumenoRussoSvedeseTailandeseTurcoUcrainoVietnamitaCineseInternational Modal ×
