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