MAPress

فروشگاه وبلاگ سبد خرید ورود

تگ: Formalization

کتاب مبانی نظریه انواع در Lean: اثبات صوری با رویکردی کاربردی

کتاب مبانی نظریه انواع در Lean: اثبات صوری با رویکردی کاربردی

249,950 تومان

MAPress

فروشگاه و وبلاگ

دسترسی سریع

فروشگاه
دسته‌بندی‌ها
وبلاگ

نماد

© 2026 MAPress. تمامی حقوق محفوظ است.