2022/23
עברית
English
עברית
אתם משתמשים כרגע בגישת אורחים (
התחברות
)
HUJI
2022/23
ראשי
הקורסים שלי
67860 אימות פורמלי של מערכות לומדות
תקציר
67860 אימות פורמלי של מערכות לומדות
TA:
גיא כץ