بررسي روش هاي تجريد مدلهاي ربكا به منظور درستي يابي صوري
/ حميده صبوري قمي
بررسي روش هاي تجريد مدلهاي ربكا به منظور درستي يابي صوري
نویسنده
/ حميده صبوري قمينسخه 1
فهرست
شناسنامه
سرشناسه
صبوري قمي، حميده، نویسندهعنوان و نام پدیدآور
بررسي روش هاي تجريد مدلهاي ربكا به منظور درستي يابي صوري / / حميده صبوري قميمشخصات ظاهری
ز,124 ص.؛ : تصوير، جدول.موضوع
*برش برنامهProgram slicing*
زبان صوري
Formal language
تصديق برنامه هاي رايانه اي
Verification of computer programs
ربكا (زبان برنامه نويسي رايانه اي)
(Rebeca (Computer program language
زبان
فارسی