Вид документа : Однотомное издание Шифр издания : АР10-29867 Автор(ы) : Ключников И.Г. Заглавие : Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореф. дис. ... канд. физ.-мат. наук : 05/13/11 Выходные данные : М., 2010 Колич.характеристики :20 с. Примечания : Библиогр.: с. 20 (10 назв.) ГРНТИ : 50.05.13 УДК : 004.415.5(043) Ключевые слова (''Своб.индексиров.''): программы для эвм--верификация--программирования язык haskell Экземпляры :ХР(1) Свободны : ХР(1)