عنوان پایان‌نامه

مدل‌سازی منطق پردازش تراکنش با زبان‌های تابعی