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