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