سخنرانی علمی از سلسله سخنرانی‌های بین‌المللی
موضوع: Verification and Synthesis of Dependable Distributed Software
 
سخنران‌: آقای دکتر علی ابن‌نصیر استاد دانشگاه Michigan Technological University
 
زمان: روز یکشنبه سوم مرداد ماه 1400 ساعت 16:30
 
سامانه اسکای روم به نشانی https://meeting.ui.ac.ir/ch/com
تاریخ:
1400/04/30
تعداد بازدید:
21
منبع:
Powered by DorsaPortal