Каталог / ТЕХНІЧНІ НАУКИ / Математичне та програмне забезпечення обчислювальних систем, комплексів та комп\'ютерних мереж
скачать файл: 
- Назва:
- Камкин Александр Сергеевич. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
- ВНЗ:
- Ин-т систем. программирования
- Короткий опис:
- Камкин Александр Сергеевич. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций : диссертация ... кандидата физико-математических наук : 05.13.11 / Камкин Александр Сергеевич; [Место защиты: Ин-т систем. программирования].- Москва, 2008.- 181 с.: ил. РГБ ОД, 61 08-1/691
- Стоимость доставки:
- 230.00 руб