تگ: نرم‌افزار قابل اعتماد

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