פרופ' דורון פלד
טלפון
דוא"ל
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
