شماره ركورد كنفرانس :
247
عنوان مقاله :
بررسي - كننده ي مدل باگر
پديدآورندگان :
زنگاركي شهربانو نويسنده
تعداد صفحه :
4
كليدواژه :
بررسي كننده مدل باگر , بير , Counter-example , صحت سنجي
عنوان كنفرانس :
مجموعه مقالات اولين همايش منطقه اي فناوري اطلاعات
زبان مدرك :
فارسی
شماره مدرك كنفرانس :
1821822
سال انتشار :
1389
از صفحه :
1
تا صفحه :
4
سال انتشار :
0
لينک به اين مدرک :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=36&DC=83421
