booktheque

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu · 2015

איפה לקנות

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

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

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

פרטי הספר

שנה
2015
שפה
English
הוצאה
Springer London, Limited
מהדורות
5
עמודים
677
ISBN
9783319216904

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

עוד של Daniel Kroening