کتاب آموزش جامع زبان Lean برای اثبات خودکار قضایای ریاضی و تایید درستی نرمافزار
349,950 تومان
در صورت خرید اقساطی هر قسط: 87,488 تومان
