عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
ارائه راهکارهای برای مقابله با مشکل انفجار فضای حالت در وارسی سیستم هلای تبدیل گراف با استفاده از الگوریتم تکاملی
پدید آورنده
/مریم مرادی
موضوع
رده
کتابخانه
المكتبة المركزية ومركز الوثائق بجامعة آراك
محل استقرار
استان:
مرکزي
ـ شهر:
أراک
تماس با کتابخانه :
08632622404
IR
۱۶۳۶پ
فارسی
IR
ارائه راهکارهای برای مقابله با مشکل انفجار فضای حالت در وارسی سیستم هلای تبدیل گراف با استفاده از الگوریتم تکاملی
[پایاننامه]
/مریم مرادی
: فنی مهندسی
، ۹۲
چاپی
کتابنامه ص : [۶۴-۶۸]
کارشناسی ارشد
مهندسی نرم افزار
اراک
وارسی مدل یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی بحرانی پیش از تولید آنهاست
مرادی، مریم
ایران
دانشگاه اراک
com 22 93
محل نگهداری: بخش مرجع کتابخانه مرکزی دانشگاه اراک
نمایهسازی قبلی
p
TF
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح