booktheque

Types for proofs and programs

Jean-Christophe Filliâtre, Benjamin Werner · 2006

איפה לקנות

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

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

פרטי הספר

שנה
2006
שפה
English
הוצאה
Springer
מהדורות
1
עמודים
275
ISBN
9783540314288

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