Placeholder Image

פרופ' דורון פלד

דוא"ל
doronp@cs.biu.ac.il
משרד
בניין 216 חדר 226
תחומי עניין

 

Proof of correctness of hardware systems and software Automatic proof, tests of logic systems and formal languages

שעות קבלה
סמסטר א' וב': יום ג' 16:00-15:00. בתיאום בלבד

    תאריך עדכון אחרון : 24/08/2022