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