تگ: صحت از طریق ساخت

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