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.
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل | ||||
02360346 - פרויקט באימות תכניות בעזרת מחשב 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification | ||||
אביב 2022Spring 2022Весна 2022ربيع 2022 | ||||