מידע כללי
יוצגו מחקרים וכיווני מחקר עדכניים באלגוריתמים.
פקולטה: מדעי המחשב
|תואר ראשון
|תארים מתקדמים
מקצועות ללא זיכוי נוסף
236669 - נ. מתקדמים במבוא לבדיקת תכונות
ספרי המקצוע
מידע סמסטריאלי
שעות שבועיות
2 נקודות אקדמיות • 2 שעות הרצאה
ניווט לדף המקצוע
אחראים
פרופ. חבר פישר אלדר
הערות
-
הקורס מבוטל. במקומו נפתח קורס 236669 "מבוא לבדיקת תכונות".
אין קבוצות רישום
שעות שבועיות
2 נקודות אקדמיות • 2 שעות הרצאה
ניווט לדף המקצוע
אחראים
פרופ. נאור יוסף
קבוצות רישום
|
|
שעות שבועיות
2 נקודות אקדמיות • 2 שעות הרצאה
ניווט לדף המקצוע
אחראים
פרופ. חבר פישר אלדר
קבוצות רישום
|
|