Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
- Название:
- Булычёв, Пётр Евгеньевич. Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ
- ВУЗ:
- Моск. гос. ун-т им. М.В. Ломоносова
- Краткое описание:
- Булычёв, Пётр Евгеньевич. Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ : диссертация ... кандидата физико-математических наук : 05.13.11 / Булычёв Пётр Евгеньевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2010.- 169 с.: ил. РГБ ОД, 61 11-1/365
- Стоимость доставки:
- 230.00 руб