دانلود کتاب Introduction to Dependent Types with Idris: Encoding Program Proofs in
ویژگی های محصول
شناسه محصول: introduction-to-dependent-types-with-idris-encoding-program-proofs-in-typesدستهبندی: programming-languagesتاریخ به روز رسانی: 22 مرداد 1405
نقد و بررسی وجود ندارد.