الگوهای طراحی و روش‌های رسمی

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