booktheque

Computer Aided Verification

Isil Dillig, Serdar Tasiran · 2020

איפה לקנות

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

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

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

פרטי הספר

שנה
2020
הוצאה
Saint Philip Street Press
מהדורות
5
עמודים
558
ISBN
9781013271151

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

עוד של Isil Dillig