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