Каталог / ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ / Дискретная математика и математическая кибернетика
скачать файл: 
- Название:
- Подымов Владислав Васильевич. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой
- ВУЗ:
- Московский государственный университет имени М.В. Ломоносова
- Краткое описание:
- Подымов Владислав Васильевич. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой: диссертация ... кандидата физико-математических наук: 01.01.09 / Подымов Владислав Васильевич;[Место защиты: Московский государственный университет имени М.В. Ломоносова].- Москва, 2014.- 164 с.
- Стоимость доставки:
- 230.00 руб