بهينه سازي آزمونگر مدل CTL ربكا
/ هومن بنده مقدم
بهينه سازي آزمونگر مدل CTL ربكا
المؤلف
/ هومن بنده مقدمطبع 1
قائمة
شناسنامه
المدخل الرئيسي
بنده مقدم، هومن، نویسندهالعنوان واسم المؤلف
بهينه سازي آزمونگر مدل CTL ربكا / / هومن بنده مقدمالمواصفات الشكلية
103ص.؛ : تصوير، جدول.الموضوع
ربكا (زبان برنامه نويسي رايانه اي)(Rebeca (Computer program language
ربكا (زبان برنامه نويسي رايانه اي)
(Rebeca (Computer program language
منطق محاسباتي درختي
Computational tree logic
تصديق برنامه هاي رايانه اي
Verification of computer programs
الگوريتم ها
Algorithms
اللغة
فارسی