catalog / Physics and mathematics / Discrete mathematics and mathematical cybernetics
скачать файл: 
- title:
- Подымов Владислав Васильевич. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой
- university:
- Московский государственный университет имени М.В. Ломоносова
- The year of defence:
- 2014
- brief description:
- Подымов Владислав Васильевич. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой: диссертация ... кандидата физико-математических наук: 01.01.09 / Подымов Владислав Васильевич;[Место защиты: Московский государственный университет имени М.В. Ломоносова].- Москва, 2014.- 164 с.
- Стоимость доставки:
- 230.00 руб