Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Чупилко, Михаил Михайлович |
загрузить
в подборку |
Заглавие | Динамическая верификация цифровой аппаратуры на основе формальных спецификаций : автореферат дис. ... кандидата физико-математических наук : 05.13.11 | |
Выходные данные | Москва 2012 | |
Физическое описание | 24 с. | |
Тема | Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей | |
Тема | Радиоэлектроника -- Радмотехника -- Радиоэлектронная аппаратура -- Микроэлектроника -- Интегральные схемы -- Цифровые интегральные схемы -- Технология печатных схем -- Технический контроль -- Математическое моделирование | |
Ключевые слова |
программные модели |
|
Хранение | 9 12-2/4005; | |
Электронный адрес |
Электронный ресурс |