بهينه سازي آزمونگر مدل CTL ربكا
/ هومن بنده مقدم
بهينه سازي آزمونگر مدل CTL ربكا
Author
/ هومن بنده مقدمEdition 1
list
شناسنامه
Main Entry
بنده مقدم، هومن، نویسندهTitle and Author
بهينه سازي آزمونگر مدل CTL ربكا / / هومن بنده مقدمPhysical Description
103ص.؛ : تصوير، جدول.Subject
ربكا (زبان برنامه نويسي رايانه اي)(Rebeca (Computer program language
ربكا (زبان برنامه نويسي رايانه اي)
(Rebeca (Computer program language
منطق محاسباتي درختي
Computational tree logic
تصديق برنامه هاي رايانه اي
Verification of computer programs
الگوريتم ها
Algorithms
Language
فارسی