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