Formal Verification

نمایش 13–14 از 14 نتیجهSorted by latest

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

• افزودن به سبد خرید
  اقتصاد رفتاری

  کتاب کوانتیزه کردن عقلانیت محدود: از نظریه سایمون تا اعتبارسنجی ماشینی تصمیم‌گیری

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

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

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