Credit points: 3.0
The lectures will be physical. There is no Zoom room this term.
The lectures will be physical. There is no Zoom room this term.
דלג לתוכןדלג לתפריט החלף לסטייל מקצועהחלף לסטייל מערכת 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 Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
236346 - פרויקט באימות תכניות בעזרת מחשב 236346 - Project in Computer-aided Verification 236346 - Project in Computer-aided Verification 236346 - Project in Computer-aided Verification
אביב 2022Spring 2022Весна 2022ربيع 2022
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل