Web ИРБИС

Базы данных

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

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=формальный язык<.>)

Общее количество найденных документов : 1

Ар10-24611

Булычев, П. Е.
Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / П. Е. Булычев. - М., 2010. - 28 с. : ил. - Библиогр.: с. 27-28 (10 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики

ГРНТИ	50.41
УДК	004.415.5(043)

Кл.слова (ненормированные):
программы для эвм -- верификация -- реструктуризация -- математические методы -- алгоритмы -- формальный язык -- структуры крипке -- проверка симуляций -- обнаружение клонов

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)