مدل‌سازی منطقی

عنوان کتاب: Thinking Programs -Logical Modeling and Reasoning About Languages, Data, Computations, and Executions, 2nd ed نویسنده: Wolfgang Schreiner حوزه: مهندسی نرم‌افزار سال انتشار: 2026 تعداد صفحه: 652 زبان اصلی: انگلیسی نوع فایل: pdf حجم فایل: ادامه مطلب