Вернуться к Подробностям о статье АВТОМАТИЗАЦИЯ ДИАГНОСТИРОВАНИЯ HDL-МОДЕЛЕЙ КОНЕЧНЫХ АВТОМАТОВ Скачать Скачать PDF