Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

Поисковый запрос: (<.>K=структуры крипке<.>)

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

Вид документа : Однотомное издание
Шифр издания : Ар10-24611
Автор(ы) : Булычев П.Е.
Заглавие : Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ : автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2010
Колич.характеристики :28 с.: ил
Примечания : Библиогр.: с. 27-28 (10 назв.). - В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
ГРНТИ : 50.41
УДК : 004.415.5(043)
Ключевые слова (''Своб.индексиров.''): программы для эвм--верификация--реструктуризация--математические методы--алгоритмы--формальный язык--структуры крипке--проверка симуляций--обнаружение клонов
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие

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

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

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