Вернуться к Подробностям о выпуске Автоматизация проверки решения задачи по формальному описанию ее условия. Скачать Скачать PDF