Lean theorem prover

Showing all 3 resultsSorted by latest

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

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

  افزودن به سبد خرید
  اثبات صوری و کاربردهای آن

  کتاب اثبات خواص اعداد در سیستم Lean: مبانی نظریه اعداد مقدماتی

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

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

  کتاب تأیید صوری سیستم‌های پیچیده با استفاده از منطق مرتبه اول و ابزارهای خودکار

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

  افزودن به سبد خرید
  اثبات‌گری نرم‌افزاری و صحت‌سنجی

  کتاب اثبات‌گر قیاس‌پذیر Lean: مبانی و کاربردها در مهندسی نرم‌افزار

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