Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
ارائه راه کاری برای بهینه سازی فرابند وارسی مدل از طریق تکنیک های زمان کامپایل درسیستمهای توصیف شده با ماشین زماندار
پدید آورنده
/محمد خدادادی
موضوع
رده
کتابخانه
Central Library and Document Center of Arak University
محل استقرار
استان:
Markazi
ـ شهر:
Arak
تماس با کتابخانه :
08632622404
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
۱۷۲۸پ
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
فارسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
ارائه راه کاری برای بهینه سازی فرابند وارسی مدل از طریق تکنیک های زمان کامپایل درسیستمهای توصیف شده با ماشین زماندار
General Material Designation
[پایاننامه]
First Statement of Responsibility
/محمد خدادادی
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
: فنی مهندسی
Date of Publication, Distribution, etc.
، ۹۳
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
چاپی
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
کتابنامه ص: ۵۳-۵۶
DISSERTATION (THESIS) NOTE
Dissertation or thesis details and type of degree
کارشناسی ارشد
Discipline of degree
کامپیوتر
Body granting the degree
اراک
SUMMARY OR ABSTRACT
Text of Note
ماشین زمانداراز جمله ابزارهای وارسی مدل استکه برای وارسی سیستم های بالادرنگ مورداستفاده قرار میگیرد .
PERSONAL NAME - PRIMARY RESPONSIBILITY
خدادادی، محمد
ORIGINATING SOURCE
Country
ایران
Agency
دانشگاه اراک
LOCATION AND CALL NUMBER
Call Number
com 31 93
DATA NOT CONVERTED FROM SOURCE FORMAT
Tag of the Source Format Field
محل نگهداری: بخش مرجع کتابخانه مرکزی دانشگاه اراک
نمایهسازی قبلی
p
TF
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal