Dr. Yakir Vizel | |
| תפקיד: Position: Должность: منصب: | מרצה אחראי Lecturer in charge Ответственный лектор محاضر مسؤول |
| דואר אלקטרוני: Email: Электронная почта: بريد الكتروني: | uyvizelatcs.technion.ac.il |
| טלפון: Phone: Телефон: هاتف: | 048294327 |
| משרד: Office location: Офис: مكتب: | 627 |
| הרצאות: Lectures: Лекции: محاضرات: | Taub 8 |
דלג לתוכןדלג לתפריט החלף לסטייל מקצועהחלף לסטייל מערכת 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
אביב 2023-2024Spring 2023-2024Весна 2023-2024ربيع 2023-2024
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل