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