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

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

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

Кл.слова (ненормированные): ВЕРИФИКАЦИЯ -- ПРОГРАММИРОВАНИЯ ЯЗЫКИ - HASKELL -- ПРОГРАММЫ ДЛЯ ЭВМ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР10-29867)

Шифр в сводном ЭК: a20f52e14625fafaf68aff861ab0e621

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