catalog / TECHNICAL SCIENCES / Mathematical and software of computer systems, complexes and computer networks
скачать файл:
- title:
- Мандрыкин Михаил Усамович. Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей
- university:
- ФГБУН Институт системного программирования Российской академии наук
- The year of defence:
- 2016
- brief description:
- Мандрыкин Михаил Усамович. Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей: диссертация ... кандидата Физико-математических наук: 05.13.11 / Мандрыкин Михаил Усамович;[Место защиты: ФГБУН Институт системного программирования Российской академии наук], 2016
- Стоимость доставки:
- 230.00 руб