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

Карточка

Раков, Сергей Валентинович.
Раков, Сергей Валентинович.

Автоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств : автореферат дис. ... кандидата технических наук : 05.13.12 / Ленингр. ин-т точной механики и оптики. - Ленинград, 1991. - 16 с.
Системы автоматизации проектирования ( по отраслям )
FB 9 91-6/1835-4
FB 9 91-6/1836-2

Документ в свободном доступе. Читать 

Marc21

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

Показать

Описание

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