פרויקט באימות תכניות בעזרת מחשב

236346

קישור לאתר הקורס

פיתוח כלים (מערכות תוכנה) לאימות של תכניות בעזרת מחשב. שיפור והתאמת כלים קיימים לשימוש בהקשרים רחבים יותר. שימוש בכלים לאימות תכניות מורכבות.%

236342 

אביב 2019/20(תש"ף) קיץ 2019/20(תש"ף)