קורסי שנה"ל תשע"ח(2017/2018)
Click here for Tau Moodle of the current year
Skip to main content
Side panel
Home
Courses
Courses from past years
(2016/2017)
(2015/2016)
Login for guests
Available courses
מידע למרצים
הנחיות לעבודה ב-Moodle
חידושים ושינויים ב-Moodle תשע"ח
עקרונות פעולה לשימוש ביצירות לצרכי הוראה
סדנאות לעבודה ב-Moodle
עדכון סילבוס במערכת האוניברסיטאית
שאלות נפוצות
הפיכת אתר קורס לזמין לסטודנטים
העתקת קורס משנים קודמות
הוספת עוזרי הוראה וסטודנטים שאינם רשומים לקורס
מתאמי מחשוב לפי פקולטות
פניה למרכז התמיכה – Virtual TAU
מידע לסטודנטים
הוראות כניסה
תמיכה לסטודנטים
חוק זכויות יוצרים – תשס"ח
Tel Aviv University
Main site
Academic Calendar
מערכת שעות
ידיעונים
Campus Map
Libraries
DaTA search
Video Server
Student Uniun
Coursera
YouTube
Personal Information
Personal Portal
My Courses
Student Grade List
מידע אישי למרצה
Computer Services
IT and Computing Department
Change Password
Support Center
תקשורת אלחוטית
English (en)
עברית (he)
English (en)
Log in
Course info
Home
Courses
Faculty of Exact Sciences
School of Computer Sciences
Computer Science
0368447901 - Program Analysis and Verification
Summary
0368447901 - Program Analysis and Verification (03684479-01-2017-2)
0368447901 - Program Analysis and Verification
Teacher:
Noam Rinetzky
0368447901 - Program Analysis and Verification
Home
Calendar
