MAPress
فروشگاه
وبلاگ
سبد خرید
ورود
اثبات صوری و منطق در برنامهنویسی
کتاب اثبات قضایای نظریه اعداد در Lean: مبانی و کاربردها
249,950 تومان
