عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
۱۶۳۶پ
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
فارسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
ارائه راهکارهای برای مقابله با مشکل انفجار فضای حالت در وارسی سیستم هلای تبدیل گراف با استفاده از الگوریتم تکاملی
نام عام مواد
[پایان‌نامه]
نام نخستين پديدآور
/مریم مرادی
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
: فنی مهندسی
تاریخ نشرو بخش و غیره
، ۹۲
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
چاپی
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
کتابنامه ص : [۶۴-۶۸]
یادداشتهای مربوط به پایان نامه ها
جزئيات پايان نامه و نوع درجه آن
کارشناسی ارشد
نظم درجات
مهندسی نرم افزار
کسي که مدرک را اعطا کرده
اراک
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
وارسی مدل یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی بحرانی پیش از تولید آنهاست
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
مرادی، مریم
مبدا اصلی
کشور
ایران
سازمان
دانشگاه اراک
شماره دستیابی
شماره بازیابی
com 22 93
داده هایی که از فرمت مبدا برگردانیده نشده است
شماره فيلد فرمت مبدا
محل نگهداری: بخش مرجع کتابخانه مرکزی دانشگاه اراک
وضعیت فهرست نویسی
وضعیت فهرست نویسی
نمایه‌سازی قبلی
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
TF
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
