مدل سازي و تحليل اكتورهاي زماندار مبتني بر منطق بازنويسي
/ زينب صباحي كاوياني
مدل سازي و تحليل اكتورهاي زماندار مبتني بر منطق بازنويسي
نویسنده
/ زينب صباحي كاويانينسخه 1
فهرست
شناسنامه
سرشناسه
صباحي كاوياني، زينب، نویسندهعنوان و نام پدیدآور
مدل سازي و تحليل اكتورهاي زماندار مبتني بر منطق بازنويسي / / زينب صباحي كاويانيمشخصات ظاهری
ث،85ص.؛ : تصوير، پيوست.موضوع
وارسيمدلمدل اكتور
ربكاي زماندار
منطق بازنويسي
ماد بيدرنگ
سيستمهاي همروند
سيستمهاي بيدرنگ
زبان
فارسی