فقط امسح رمز ISBN لإضافته فورًا إلى مكتبتك. متوفر الآن على iOS و Android.
Edmund M. Clarke Jr.
Daniel Kroening
Hana Chockler
Dimitra Giannakopoulou
Sharon Barner
نستخدم الكوكيز لتحسين تجربتك وتحليل حركة المرور في الموقع. يمكنك اختيار الكوكيز التي ترغب في قبولها.
مطلوب لتشغيل الموقع. لا يمكن تعطيله.
ساعدنا على فهم كيفية تفاعل الزوار مع موقعنا الإلكتروني.
يُستخدم لتقديم الإعلانات ذات الصلة وتتبع الحملات.
