تگ: Design Pattern Formalization

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