booktheque

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers · 2014

איפה לקנות

בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.

לצפייה באמזון

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

פרטי הספר

שנה
2014
שפה
English
הוצאה
Cambridge University Press
מהדורות
4
עמודים
466
ISBN
9781107036505

מקור הנתונים: Wikidata