Separation Logic

Showing all 2 resultsSorted by latest

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

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

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

  کتاب منطق جداسازی برای تضمین صحت برنامه‌های موازی

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

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

  کتاب اثبات صحت برنامه‌های ناهمگام با استفاده از منطق جداسازی مرتبه بالا

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