تسجيل الدخول
الحقول المخفية
كتب
مكتبتي
مساعدة
بحث متقدم في الكتب
شراء الكتاب الإلكتروني - 46.99 US$
Model Checking, second edition
من تأليف
Edmund M. Clarke, Jr.
،
Orna Grumberg
،
Daniel Kroening
،
Doron Peled
،
Helmut Veith
لمحة عن هذا الكتاب
بنود الخدمة
يتم عرض الصفحات بإذن من
MIT Press
..
حقوق النشر
.
الصفحة 104
صفحة مقيّدة
لقد وصلت إلى حد العرض المسموح لهذا الكتاب (
لماذا؟
).