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