بررسي روشهاي درستي يابي رسمي مدارهاي محاسباتي بر اساس روش جبر كامپيوتري نمادين
/ فريماه فرهمندي
بررسي روشهاي درستي يابي رسمي مدارهاي محاسباتي بر اساس روش جبر كامپيوتري نمادين
Author
/ فريماه فرهمنديEdition 1
list
شناسنامه
Main Entry
فرهمندي، فريماه، نویسندهTitle and Author
بررسي روشهاي درستي يابي رسمي مدارهاي محاسباتي بر اساس روش جبر كامپيوتري نمادين / / فريماه فرهمنديPhysical Description
ز,125ص.؛ : جدول، پيوست.Language
فارسی