Curry-Howard Correspondence
در حال نمایش یک نتیجه
-
دورههای آموزشی
کتاب برنامه = اثبات: مبانی برنامهنویسی قابل اعتماد با نظریه نوعها
299,999 تومان – 399,000 تومان انتخاب گزینهها این محصول دارای انواع مختلفی می باشد. گزینه ها ممکن است در صفحه محصول انتخاب شوند
