booktheque

Verification, Model Checking, and Abstract Interpretation

Isil Dillig, Jens Palsberg · 2018

איפה לקנות

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

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

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

פרטי הספר

שנה
2018
הוצאה
Springer
מהדורות
1
עמודים
558
ISBN
9783319737201

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

עוד של Isil Dillig