Coq

Showing all 3 resultsSorted by latest

مرتب سازی بر اساس محبوبیت مرتب سازی بر اساس میانگین رتبه مرتب سازی بر اساس جدیدترین مرتب سازی بر اساس هزینه: کم به زیاد مرتب سازی بر اساس هزینه: زیاد به کم

• هر قسط تومان62,488

  افزودن به سبد خرید
  اثبات صوری و انواع داده‌های وابسته

  کتاب دستیار اثبات Coq: مقدمه‌ای عملی بر برنامه‌نویسی با انواع داده‌های وابسته

  تومان249,950 افزودن به سبد خرید
• هر قسط تومان62,488

  افزودن به سبد خرید
  اثبات صوری و انواع داده‌های وابسته

  کتاب دستیار اثبات Coq: مقدمه‌ای عملی بر برنامه‌نویسی با انواع داده‌های وابسته

  تومان249,950 افزودن به سبد خرید
• هر قسط تومان62,488

  افزودن به سبد خرید
  کتاب‌های آموزشی

  کتاب برنامه = اثبات: مبانی برنامه‌نویسی قابل اعتماد با نظریه نوع‌ها

  تومان249,950 افزودن به سبد خرید