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

مهندسی برق و کامپیوتر

0پیش‌نیاز

0هم‌نیاز

2پیش‌نیاز پیشنهادی

0درس وابسته

2استاد ارائه

معرفی، سرفصل و توضیحات درس

توضیحات تکمیلی یا سرفصل رسمی برای این درس ثبت نشده است.

پیش‌نیاز (0)

الزامی

این درس پیش‌نیاز رسمی ندارد.

هم‌نیاز (0)

همزمان/قبلی

فاقد هم‌نیاز رسمی

پیش نیاز های پیشنهادی (2)

توصیه‌شده

این درس پیش‌نیاز/هم‌نیاز کدام دروس است؟ (0)

هیچ درسی به عنوان پیش‌نیاز وابسته به این درس تعریف نشده است (درس پایانی یا اختیاری).

اساتید و ارائه‌دهندگان درس

اساتیدی که این درس را در دانشکده ارائه می‌دهند.

راهنمای اخذ واحد

رعایت پیش‌نیازها و هم‌نیازهای اعلام‌شده در چارت تحصیلی برای جلوگیری از حذف دروس توسط آموزش دانشکده در پایان نیمسال الزامی است.