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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

اساتید مدرس (هم‌تدریس)

2 استاد

fghassemi@ut.ac.ir

e.khamespanah@ut.ac.ir

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

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