کتاب صوتی آموزش جامع زبان Lean برای اثبات خودکار قضایای ریاضی و تایید درستی نرمافزار
499,850 تومان
در صورت خرید اقساطی هر قسط: 124,963 تومان
