تگ: استدلال مالی

کتاب ساخت سیستم‌های مالی قابل اعتماد با استفاده از مدل‌های زبان و برنامه‌های منطقی