درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
1134 مرتبه مشاهده شده
عدم قطعیت در زبان توصیف CZ
حقیقی، حسن Haghighi, Hassan
- شماره پایان نامه:39023
- کد دانشکده:19
- پديدآور: حقیقی، حسن
- عنوان:عدم قطعیت در زبان توصیف CZ.
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1387.
- نام دانشکده:مهندسی کامپیوتر
- مقطع:کارشناسی ارشد
- گرایش:نرم افزار
- یادداشت:154ص.: کتابنامه؛ چکیده به فارسی و انگلیسی
- توصیفگر: توصیف صوری Formal Specification
- توصیفگر: تولید صوری برنامه Formal Program Development
- توصیفگر: نظریه مجموعه ها Set Theory
- توصیفگر: زبان توصیف زد Z Specification Language
- توصیفگر: ریاضیات ساختی Constructive Mathematics
- توصیفگر: عدم قطعیت Uncertainty
- توصیفگر: زبان سی. زد CZ Language
- توصیفگر: نظریه مارتین لوف Martin-Lof Theory
- استاد راهنما. میریان حسین آبادی، حسن
- محتواي پايان نامه
- مشاهده