חיפוש
חיפוש תמונות
מפות
Play
YouTube
חדשות
Gmail
Drive
עוד
»
כניסה
ספרים
הספרייה שלי
עזרה
חיפוש מתקדם של ספרים
קבל ספר זה בגירסה המודפסת
אין eBook זמין
Springer Shop
חיפוש בספרייה
כל המוכרים
»
Verification, Model Checking, and Abstract Interpretation: 9th International ...
נערך על ידי
Francesco Logozzo
,
Doron A. Peled
,
Leonore D. Zuck
מידע על ספר זה
העמודים מוצגים באישור של
Springer Science & Business Media
.
זכויות יוצרים
.
כריכה קדמית