درحال بارگذاري...
جستجو
جستجو در این کتاب
ترتيب بر اساس
عدم قطعیت در زبان توصیف CZ
1134 مرتبه مشاهده شده

عدم قطعیت در زبان توصیف CZ

حقیقی، حسن Haghighi, Hassan

  1. شماره پایان نامه:39023
  2. کد دانشکده:19
  3. پديدآور: حقیقی، حسن
  4. عنوان:عدم قطعیت در زبان توصیف CZ.
  5. نام دانشگاه/پژوهشگاه:صنعتی شریف
  6. سال اخذ مدرك:1387.
  7. نام دانشکده:مهندسی کامپیوتر
  8. مقطع:کارشناسی ارشد
  9. گرایش:نرم افزار
  10. یادداشت:154ص.: کتابنامه؛ چکیده به فارسی و انگلیسی
  11. توصیفگر: توصیف صوری Formal Specification
  12. توصیفگر: تولید صوری برنامه Formal Program Development
  13. توصیفگر: نظریه مجموعه ها Set Theory
  14. توصیفگر: زبان توصیف زد Z Specification Language
  15. توصیفگر: ریاضیات ساختی Constructive Mathematics
  16. توصیفگر: عدم قطعیت Uncertainty
  17. توصیفگر: زبان سی. زد CZ Language
  18. توصیفگر: نظریه مارتین لوف Martin-Lof Theory
  19. استاد راهنما. میریان حسین آبادی، حسن

 فهرست محتوای دیجیتالی

 فهرست مطالب

اين منبع فهرست مطالبي ندارد

 فهرست نقدها