Раков, Сергей Валентинович - Автоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств : автореферат дис. ... кандидата технических наук : 05.13.12
Карточка
Экспресс-заказ фрагмента
Раков, Сергей Валентинович.
Автоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств : автореферат дис. ... кандидата технических наук : 05.13.12 / Ленингр. ин-т точной механики и оптики. - Ленинград, 1991. - 16 с.
Системы автоматизации проектирования ( по отраслям )
Шифр хранения:
Автоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств : автореферат дис. ... кандидата технических наук : 05.13.12 / Ленингр. ин-т точной механики и оптики. - Ленинград, 1991. - 16 с.
Системы автоматизации проектирования ( по отраслям )
Шифр хранения:
FB 9 91-6/1835-4
FB 9 91-6/1836-2
Описание
Автор | Раков, Сергей Валентинович |
---|---|
Заглавие | Автоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств : автореферат дис. ... кандидата технических наук : 05.13.12 |
Коллекции ЭК РГБ | Каталог авторефератов диссертаций |
Коллекции ЭБ РГБ | Авторефераты |
Дата поступления в ЭК РГБ | 15.01.1992 |
Дата поступления в ЭБ РГБ | 03.10.2008 |
Каталоги | Авторефераты диссертаций |
Сведения об ответственности | Ленингр. ин-т точной механики и оптики |
Выходные данные | Ленинград, 1991 |
Физическое описание | 16 с. |
Тема | Системы автоматизации проектирования ( по отраслям ) |
BBK-код | З973.26-082.705.1-5-05,0 |
Специальность | 05.13.12: Системы автоматизации проектирования (по отраслям) |
Язык | Русский |
Места хранения | FB 9 91-6/1835-4 |
FB 9 91-6/1836-2 | |
Электронный адрес | Электронный ресурс |