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