Динамическая верификация цифровой аппаратуры на основе формальных спецификаций

Чупилко, Михаил Михайлович. Динамическая верификация цифровой аппаратуры на основе формальных спецификаций : диссертация ... кандидата физико-математических наук : 05.13.11 / Чупилко Михаил Михайлович; [Место защиты: Ин-т систем. программирования].- Москва, 2012.- 127 с.: ил. РГБ ОД, 61 12-1/1011
Автор
Чупилко, Михаил Михайлович
Год
2012

  • 99 000 UZS

Рекомендуем вам товары

Гибкая архитектура для параллельного анализа и визуализации физических полей
99 000 UZS
Автор
Чусов, Андрей Александрович
Количество страниц
Год
2012
Методология проектирования аналитических программных систем для организации их функционального взаимодействия на основе формальных моделей предметной области
99 000 UZS
Автор
Антонов Вячеслав Викторович
Количество страниц
Год
2015
Автоматическое отображение программ на конвейерные и многоконвейерные архитектуры
99 000 UZS
Автор
Штейнберг Роман Борисович
Количество страниц
Год
2012
Алгоритмы построения трехмерных моделей объектов с регулярной структурой по фотографиям при взаимодействии с пользователем для виртуальных сред
99 000 UZS
Автор
Якубенко, Антон Анатольевич
Количество страниц
Год
2012
Методы проектирования программного обеспечения и человеко-машинного взаимодействия в многофункциональных мультимедийных комплексах
99 000 UZS
Автор
Абдулин, Евгений Рудольфович
Количество страниц
Год
2011
Новостной блок
Модули для Opencart 2, Опенкарт 3