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