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