פרופ' דורון פלד
טלפון
דוא"ל
doronp@cs.biu.ac.il
משרד
בניין 503 חדר 123
תחומי עניין
Proof of correctness of hardware systems and software Automatic proof, tests of logic systems and formal languages
שעות קבלה
סמסטר א' וב': יום ג' 16:00-15:00. בתיאום בלבד
תאריך עדכון אחרון : 31/08/2025
