הטכניון · קורס 02360624
נושאים מתקדמים בשיטות אימות פורמליות ה'
- נקודות זכות
- 2
- פקולטה
- הפקולטה למדעי המחשב
- ניתן בסמסטרים
- אביב 2026
לתכנן את הקורס ב‑DegreEZ
להוסיף למערכת השעות, לזהות התנגשויות ומועדי מבחנים ולעקוב אחרי התואר. בחינם ב‑iPhone, ב‑Android ובדפדפן.
דרישות קדם
אחת מהאפשרויות:
מתוך קטלוג הקורסים הציבורי של הטכניון – מכון טכנולוגי לישראל (אביב 2026). הפרטים עשויים להשתנות, ולכן כדאי לוודא אותם מול המוסד לפני הרישום.