מידע על פרויקט באימות תכניות בעזרת מחשב
שם מקצוע
פרויקט באימות תכניות בעזרת מחשב
מספר מקצוע
236346
אתר הקורס
נקודות
3
שעות שבועיות
הרצאה
2
תרגיל
0
מעבדה
0
סמינר/פרויקט
3
קטלוג
סילבוס
פיתוח כלים (מערכות תוכנה) לאימות של תכניות בעזרת מחשב. שיפור והתאמת כלים קיימים לשימוש בהקשרים רחבים יותר. שימוש בכלים לאימות תכניות מורכבות.%
מקצועות קדם
מידע סמסטריאלי אביב 2020/21(תשפ"א)
עבור לסמסטר
אחראים
דר. שחר יצחקי
הערות
מועדי בחינות
מועד הבחינה
לא קיים
קבוצות רישום