مدل سازي و تحليل اكتورهاي زماندار مبتني بر منطق بازنويسي
/ زينب صباحي كاوياني
مدل سازي و تحليل اكتورهاي زماندار مبتني بر منطق بازنويسي
Author
/ زينب صباحي كاويانيEdition 1
list
شناسنامه
Main Entry
صباحي كاوياني، زينب، نویسندهTitle and Author
مدل سازي و تحليل اكتورهاي زماندار مبتني بر منطق بازنويسي / / زينب صباحي كاويانيPhysical Description
ث،85ص.؛ : تصوير، پيوست.Subject
وارسيمدلمدل اكتور
ربكاي زماندار
منطق بازنويسي
ماد بيدرنگ
سيستمهاي همروند
سيستمهاي بيدرنگ
Language
فارسی