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.
02360346 - פרויקט באימות תכניות בעזרת מחשב 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification | ||||
אביב 2021-2022Spring 2021-2022Весна 2021-2022ربيع 2021-2022 | ||||