הגישה לחלק זה מוגבלת למורשי כניסה בלבד. באפשרותכם לגשת לתוכנו לאחר שתיכנסו לחשבון שלכם. Access to this section is restricted to authorized users only. You may access its contents after you login to your account. Эта часть доступна только для определённых категорий лиц. Вы получите его после того как Вы зайдёте на Ваш счет. دخول هذا القسم محدد للمرخصين فقط. بإمكانكم فعل ذلك بعد دخول الى ال.
יש להשתמש בשם המשתמש והסיסמא הטכניוניים (כלומר של מערכות t2/tx/campus). אין להשתמש בקוד הסודי (בן 8 ספרות). Use your Technion t2/tx/campus password. Do not use the secret code (of 8 digits). Use your Technion t2/tx/campus password. Do not use the secret code (of 8 digits). Use your Technion t2/tx/campus password. Do not use the secret code (of 8 digits).
דלג לתוכןדלג לתפריט החלף לסטייל מקצועהחלף לסטייל מערכת 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 Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02360346 - פרויקט באימות תכניות בעזרת מחשב 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification
אביב 2022Spring 2022Весна 2022ربيع 2022
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل