مدلسازی منطق پردازش تراکنش با زبانهای تابعی به هدف آزمون مبتنی بر مدل
هادی صفری
مدلسازی منطق پردازش تراکنش با زبانهای تابعی به هدف آزمون مبتنی بر مدل
Author
هادی صفریEdition 1
list
شناسنامه
Main Entry
صفری، هادی،پایان نامه نویس، نویسندهTitle and Author
مدلسازی منطق پردازش تراکنش با زبانهای تابعی به هدف آزمون مبتنی بر مدل / هادی صفریPhysical Description
چ،175ص.؛ جدول، نمودار، تصویر،پیوست.Subject
آزمون مبتنی بر مدلبرنامهنویسی تابعی (کامپیوتر)
هسکل (زبان برنامهنویسی کامپیوتر)
توصیف رسمی
آزمون نرمافزار
Haskell (Computer program language)
Functional programming (Computer science)
Language
فارسی