Verification, Model Checking, and Abstract InterpretationConstantin Enea
Verification, Model Checking, and Abstract Interpretation
Constantin Enea, Ruzica Piskac · 2019
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
pages cm
פרטי הספר
- שנה
- 2019
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 619
- ISBN
- 9783030112448
מקור הנתונים: Wikidata