הגישה לחלק זה מוגבלת למורשי כניסה בלבד. באפשרותכם לגשת לתוכנו לאחר שתיכנסו לחשבון שלכם. 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 Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02360624 - נושאים מתקדמים בשיטות אימות ה' 02360624 - Advanced Topics in Formal Verification L 02360624 - Advanced Topics in Formal Verification L 02360624 - Advanced Topics in Formal Verification L
חורף 2020-2021Winter 2020-2021Зима 2020-2021شتاء 2020-2021
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل