concurrent separation logic

نمایش یک نتیجه

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

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

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

  کتاب منطق همزمانی و جداسازی پیشرفته برای تضمین پایداری سیستم‌ها

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