با تکمیل این خرید، ۶,۷۵۰ تومان به کیف پول شما اضافه خواهد شد!
“دانلود کتاب Introduction to Dependent Types with Idris: Encoding Program Proofs in Types – مقدمه ای بر انواع وابسته با...” به سبد شما افزوده شد. خرید کتابهای بیشتر
آیا مایل به حذف تاریخچه پیامها هستید؟