booktheque

Interactive Theorem Proving

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz · 2011

איפה לקנות

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

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

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

פרטי הספר

שנה
2011
הוצאה
Springer
מהדורות
1
עמודים
396
ISBN
9783642228643

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

עוד של Marko Van Eekelen