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

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

Системы автоматизации проектирования ( по отраслям )
Шифр хранения:
OD 61 91-5/5466

Marc21

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

Показать

Описание

Автор
ЗаглавиеАвтоматизированные методы верификации структуры и анализа: тестов цифровых микропроцессорных устройств : диссертация ... кандидата технических наук : 05.13.12
Коллекции ЕЭК РГБ Каталог диссертаций
Дата поступления в ЕЭК 15.01.1992
Каталоги Диссертации
Сведения об ответственностиЛенингр. ин-т точной механики и оптики
Выходные данныеЛенинград, 1991
Физическое описание179 с. : ил.
ТемаСистемы автоматизации проектирования ( по отраслям )
BBK-кодЗ973.26-082.705.1-5-05,0
Специальность05.13.12: Системы автоматизации проектирования (по отраслям)
ЯзыкРусский
Места храненияOD 61 91-5/5466