خانه ارائه‌های درسیمدل‌سازی و درستی‌یابی صوری (Formal Methods) — فاطمه قاسمی اصفهانی

CRS-BEBCFE3 واحد تحصیلیارائه فعال در دانشکده

مدل‌سازی و درستی‌یابی صوری (Formal Methods)

مدرس:فاطمه قاسمی اصفهانی(دانشیار)

زمان‌بندی کلاس‌ها و تاریخ امتحانات

برنامه جلسات هفتگی، محل تشکیل کلاس و امتحانات به تفکیک نیمسال

اطلاعات در حال تکمیل

در نیمسال پاییز 1404 رویداد کلاسی ثبت نشده است.

می‌توانید از منوی بالا سایر نیمسال‌های تحصیلی را برای مشاهده زمان‌بندی انتخاب کنید.

منابع و مراجع آموزشی درس

اسلایدها، ویدئوهای جلسات، آرشیو فایل‌ها و پیوندهای آموزشی مرتبط با این ارائه

0 منبع ثبت‌شده

هنوز منبع آموزشی برای این ارائه ثبت نشده است.

اساتید و مدیران می‌توانند اسلایدها، ویدئوها و جزوات را در این بخش قرار دهند.

نظرات و تجربیات دانشجویان در این ارائه (0)

نظرات و تجربیات دانشجویانی که قبلاً این درس را با این استاد گذرانده‌اند.

دیدگاه‌ها و ارزیابی تجربیات شما به سایر دانشجویان در شناخت بهتر این ارائه و انتخاب درس کمک می‌کند.

در حال دریافت نظرات...

شناسنامه درس مربوطه

مشخصات استاد مدرس

fghassemi@ut.ac.ir

قوانین ارسال نظر

شما می‌توانید هر زمان مایل بودید نظر خود را ویرایش کرده یا حذف نمایید.