درحال بارگذاري...
جستجو
جستجو در این کتاب
ترتيب بر اساس
ترجمه تئوری مجموعه های CZ به تئوری انواع مارتین لوف وپیاده سازی آن
1206 مرتبه مشاهده شده

ترجمه تئوری مجموعه های CZ به تئوری انواع مارتین لوف وپیاده سازی آن

جلالی، آرش.

  1. شماره پایان نامه:33305
  2. کد دانشکده:19
  3. پديدآور: جلالی، آرش.
  4. عنوان:ترجمه تئوری مجموعه های CZ به تئوری انواع مارتین لوف وپیاده سازی آن.
  5. محل اخذ مدرك:تهران :
  6. نام دانشگاه/پژوهشگاه:صنعتی شریف
  7. سال اخذ مدرك:1379.
  8. نام دانشکده:مهندسی کامپیوتر
  9. گرایش:کارشناسی ارشد (نرم افزار)
  10. یادداشت:146ص0، کتابنامه
  11. توصیفگر: تولید صوری برنامه Formal Program Development
  12. توصیفگر: برنامه نویسی کامپیوتری Computer Programming
  13. توصیفگر: ریاضیات ساختی Constructive Mathematics
  14. توصیفگر: مهندسی نرم افزار Software Engineering
  15. توصیفگر: زبان سی. زد CZ Language
  16. توصیفگر: نظریه مارتین لوف Martin-Lof Theory
  17. استاد راهنما. میریان حسین آبادی، حسن،

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

 فهرست مطالب

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

 فهرست نقدها