بررسي روشهاي درستي يابي رسمي مدارهاي محاسباتي بر اساس روش جبر كامپيوتري نمادين
/ فريماه فرهمندي
بررسي روشهاي درستي يابي رسمي مدارهاي محاسباتي بر اساس روش جبر كامپيوتري نمادين
المؤلف
/ فريماه فرهمنديطبع 1
قائمة
شناسنامه
المدخل الرئيسي
فرهمندي، فريماه، نویسندهالعنوان واسم المؤلف
بررسي روشهاي درستي يابي رسمي مدارهاي محاسباتي بر اساس روش جبر كامپيوتري نمادين / / فريماه فرهمنديالمواصفات الشكلية
ز,125ص.؛ : جدول، پيوست.اللغة
فارسی