چهارشنبه ۱۸ خرداد ۱۳۹۰ -
رضا فتحی-31/3/90
آقای رضا فتحی دانشجوی کارشناسی ارشد جناب آقای دکتر محمد عبدالهی ازگمی روز سه شنبه31/3/90 ساعت 8 صبح در اتاق 304 واقع در طبقه سوم دانشکده کامپیوتر ازپروژه کارشناسی ارشد خود تحت عنوان طراحی یک مولد فضای حالت نمادین برای توصیف های سیستم های تصادفی گسسته - رخداد و پیاده سازی آن در چارچوب PDETOOL دفاع خواهد نمود.