درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
1206 مرتبه مشاهده شده
ترجمه تئوری مجموعه های CZ به تئوری انواع مارتین لوف وپیاده سازی آن
جلالی، آرش.
- شماره پایان نامه:33305
- کد دانشکده:19
- پديدآور: جلالی، آرش.
- عنوان:ترجمه تئوری مجموعه های CZ به تئوری انواع مارتین لوف وپیاده سازی آن.
- محل اخذ مدرك:تهران :
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1379.
- نام دانشکده:مهندسی کامپیوتر
- گرایش:کارشناسی ارشد (نرم افزار)
- یادداشت:146ص0، کتابنامه
- توصیفگر: تولید صوری برنامه Formal Program Development
- توصیفگر: برنامه نویسی کامپیوتری Computer Programming
- توصیفگر: ریاضیات ساختی Constructive Mathematics
- توصیفگر: مهندسی نرم افزار Software Engineering
- توصیفگر: زبان سی. زد CZ Language
- توصیفگر: نظریه مارتین لوف Martin-Lof Theory
- استاد راهنما. میریان حسین آبادی، حسن،
- محتواي پايان نامه
- مشاهده