Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Название:
- Татарников Андрей Дмитриевич. Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
- ВУЗ:
- ФГБУН Институт системного программирования Российской академии наук
- Краткое описание:
- Татарников Андрей Дмитриевич. Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций: диссертация ... кандидата Технических наук: 05.13.11 / Татарников Андрей Дмитриевич;[Место защиты: ФГБУН Институт системного программирования Российской академии наук], 2017
- Стоимость доставки:
- 350.00 руб