Полное описание

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

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

Кл.слова (ненормированные): программы для эвм -- верификация -- программирования языки - haskell
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

Заказать издание
Заказ фрагмента документа ₽