Software Verification

Showing all 3 resultsSorted by latest

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

• افزودن به سبد خرید
  Program Synthesis

  کتاب ارزیابی و اعتبارسنجی برنامه‌های سنتز شده: معیارهای کیفیت

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

  کتاب توسعه نرم‌افزار دقیق: اصول و تکنیک‌های اثبات‌شده از Rigorous Software Development

  تومان249,950 افزودن به سبد خرید
• افزودن به سبد خرید
  تحلیل آماری و اعتبارسنجی مدل‌های عامل‌بنیان

  کتاب بررسی آماری مدل‌های NetLogo با استفاده از MultiVeStA: راهنمای عملی

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