مدلسازی منطق پردازش تراکنش با زبانهای تابعی به هدف آزمون مبتنی بر مدل
هادی صفری
مدلسازی منطق پردازش تراکنش با زبانهای تابعی به هدف آزمون مبتنی بر مدل
المؤلف
هادی صفریطبع 1
قائمة
شناسنامه
المدخل الرئيسي
صفری، هادی،پایان نامه نویس، نویسندهالعنوان واسم المؤلف
مدلسازی منطق پردازش تراکنش با زبانهای تابعی به هدف آزمون مبتنی بر مدل / هادی صفریالمواصفات الشكلية
چ،175ص.؛ جدول، نمودار، تصویر،پیوست.الموضوع
آزمون مبتنی بر مدلبرنامهنویسی تابعی (کامپیوتر)
هسکل (زبان برنامهنویسی کامپیوتر)
توصیف رسمی
آزمون نرمافزار
Haskell (Computer program language)
Functional programming (Computer science)
اللغة
فارسی