כניסה
שדות מוסתרים
ספרים
הספרייה שלי
עזרה
חיפוש מתקדם של ספרים
קבל ספר זה בגירסה המודפסת
אין eBook זמין
Springer Shop
חיפוש בספרייה
כל המוכרים
»
Computer Aided Verification: 5th International Conference, CAV'93, Elounda ...
נערך על ידי
Costas Courcoubetis
מידע על ספר זה
כריכה קדמית