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