Time: Wed 14:30-16:30
Location: Taub 4 & Zoom
Course material and assignments, as well as a link to the Zoom meeting and recordings, are located in Moodle.
דלג לתוכןדלג לתפריט החלף לסטייל מקצועהחלף לסטייל מערכת Skip to contentSkip to menu Switch to course styleSwitch to system style Skip to contentSkip to menu Switch to course styleSwitch to system style Skip to contentSkip to menu Switch to course styleSwitch to system style
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02360347 - Software Synthesis and Automated Reasoning
אביב 2021-2022Spring 2021-2022Весна 2021-2022ربيع 2021-2022
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل