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

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

3 נקודות אקדמיות • 2 שעות הרצאה • 3 שעות פרוייקט

דר. יצחקי שחר

10	שפת לימוד: עברית

הרצאה	שלישי	16:30 - 18:30	טאוב 4	\| דר. יצחקי שחר

3 נקודות אקדמיות • 2 שעות הרצאה • 3 שעות פרוייקט

10	שפת לימוד: עברית

קבוצת רישום		אין מידע אודות שעות לימוד

3 נקודות אקדמיות • 2 שעות הרצאה • 3 שעות פרוייקט

דר. יצחקי שחר

10	שפת לימוד: עברית

הרצאה	שלישי	16:30 - 18:30	טאוב 6	\| דר. יצחקי שחר