بحث
صور
خرائط Google
Play
YouTube
الأخبار
Gmail
Drive
المزيد
»
تسجيل الدخول
كتب
مكتبتي
مساعدة
بحث متقدم في الكتب
شراء الكتاب الإلكتروني - 46.99 US$
Model Checking, second edition
من تأليف
Edmund M. Clarke, Jr.
،
Orna Grumberg
،
Daniel Kroening
،
Doron Peled
،
Helmut Veith
لمحة عن هذا الكتاب
بنود الخدمة
يتم عرض الصفحات بإذن من
MIT Press
..
حقوق النشر
.
الصفحة iv