Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Поисковый запрос: (<.>K=формальный язык<.>)
Общее количество найденных документов : 1
1.
Булычев П.Е. Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ/П. Е. Булычев. - 2010
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)