Раков, Сергей Валентинович - Автоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств : автореферат дис. ... кандидата технических наук : 05.13.12

Раков, Сергей Валентинович.
Экспресс-заказ фрагмента
Раков, Сергей Валентинович.
Автоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств : автореферат дис. ... кандидата технических наук : 05.13.12 / Ленингр. ин-т точной механики и оптики. - Ленинград, 1991. - 16 с.

Системы автоматизации проектирования ( по отраслям )
Шифр хранения:
FB 9 91-6/1835-4
FB 9 91-6/1836-2

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеАвтоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств : автореферат дис. ... кандидата технических наук : 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
Электронный адрес Электронный ресурс