booktheque

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo, Doron A. Peled, Leonore D. Zuck · 2008

איפה לקנות

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

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

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

פרטי הספר

שנה
2008
שפה
English
הוצאה
Springer London, Limited
מהדורות
1
ISBN
9783540781639

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

עוד של Francesco Logozzo