التخنيون · المقرر 02360624
נושאים מתקדמים בשיטות אימות פורמליות ה'
- النقاط المعتمدة
- 2
- الكلية
- הפקולטה למדעי המחשב
- يُطرح في
- الربيع 2026
خطّط لهذا المقرر في DegreEZ
أضفه إلى جدولك، واكتشف التعارضات ومواعيد الامتحانات، وتابع تقدمك في الشهادة. مجانًا على iPhone وAndroid والويب.
المتطلبات السابقة
أحد الخيارات التالية:
من دليل المقررات العام الصادر عن التخنيون – معهد إسرائيل للتكنولوجيا (الربيع 2026). قد تتغير التفاصيل، لذا تحقق منها لدى المؤسسة قبل التسجيل.