Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
скачать файл: ![](/design/img/wordl.gif)
- Название:
- Ключников, Илья Григорьевич (1983-). Выявление и доказательство свойств функциональных программ методами суперкомпиляции
- ВУЗ:
- Ин-т прикладной математики им. М.В. Келдыша РАН
- Краткое описание:
- Ключников, Илья Григорьевич (1983-). Выявление и доказательство свойств функциональных программ методами суперкомпиляции : диссертация ... кандидата физико-математических наук : 05.13.11 / Ключников Илья Григорьевич; [Место защиты: Ин-т прикладной математики им. М.В. Келдыша РАН].- Москва, 2010.- 189 с.: ил. РГБ ОД, 61 10-1/1143
- Стоимость доставки:
- 230.00 руб