booktheque

Foundational and Practical Aspects of Resource Analysis

Marko Van Eekelen, Ugo Dal Lago · 2016

איפה לקנות

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

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

פרטי הספר

שנה
2016
שפה
English
הוצאה
Springer International Publishing AG
מהדורות
1
עמודים
127
ISBN
9783319465586

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

עוד של Marko Van Eekelen

Interactive Theorem Proving
Marko Van Eekelen · 2011