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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=программирования язык Haskell<.>)
Общее количество найденных документов : 1
1.
АР10-29867

    Ключников, И. Г.
    Выявление и доказательство свойств функциональных программ методами суперкомпиляции [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05/13/11 / И. Г. Ключников. - М., 2010. - 20 с. - Библиогр.: с. 20 (10 назв.)

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

Кл.слова (ненормированные):
программы для эвм -- верификация -- программирования язык Haskell

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