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.
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل | ||||
02360347 - Software Synthesis and Automated Reasoning | ||||
אביב 2023Spring 2023Весна 2023ربيع 2023 | ||||