דלג לתוכן
דלג לתפריט
החלף לסטייל מקצוע
החלף לסטייל מערכת
החלף לסטייל נגיש
Skip to content
Skip to menu
Switch to course style
Switch to system style
Switch to accessible style
Skip to content
Skip to menu
Switch to course style
Switch to system style
Switch to accessible style
Skip to content
Skip to menu
Switch to course style
Switch to system style
Switch to accessible style
הטכניון - מכון טכנולוגי לישראל
Technion - Israel Institute of Technology
Технион - израильский технологический институт
ألتخنيون - معهد تكنولوجي لإسرائيل
236347 - Software Synthesis and Automated Reasoning
אביב 2023
Spring 2023
Весна 2023
ربيع 2023
select language
HE עברית
EN English
RU Русский
AR العربية
select style
Course (default)
System
Acessible
הודעות
Announcements
Сообщения
اعلانات
מידע כללי
General Info
Общая Инф.
معلومات عامة
ציונים
Grades
Оценки
علامات
חיפוש שותפים
Find a Partner
Найти Партнёра
إيجاد شركاء
עדכון אוטומטי
Auto Update
Авт. Информир.
حتلنة تلقائية
דף ראשי / מפת אתר
Main Page / Site Map
Main Page / Site Map
Main Page / Site Map
נגישות
Accessibility
Accessibility
Accessibility
מידע כללי
General Information
Общая Информация
معلومات عامة
Time: Mon 14:30-16:30
Location: Taub 3
Course material and assignments, as well as a link to the Zoom meeting and recordings, are located in
Moodle
.