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