عنوان پایان‌نامه

بررسي روشهاي درستي يابي رسمي مدارهاي محاسباتي بر اساس روش جبر كامپيوتري نمادين