روش‌های صوری در توسعه نرم‌افزار

دوره مبانی و کاربردهای روش های صوری در مهندسی نرم افزار به همراه فلش کارت بر روی فلش مموری