مدلسازي و درستييابي سيستمهاي اكتور زماندار با بازههاي زماني
/ شقايق توسلي
مدلسازي و درستييابي سيستمهاي اكتور زماندار با بازههاي زماني
المؤلف
/ شقايق توسليطبع 1
قائمة
شناسنامه
المدخل الرئيسي
توسلي، شقايق، نویسندهالعنوان واسم المؤلف
مدلسازي و درستييابي سيستمهاي اكتور زماندار با بازههاي زماني / / شقايق توسليالمواصفات الشكلية
79 ص.؛ : تصوير، جدول.الموضوع
سيستمهاي بيدرنگبازههاي زماني
روشهاي صوري
درستييابي
مدل اكتور
اللغة
فارسی