Полное описание
> Зыков, А. Г. Методы верификации аппаратно-программных компонентов вычислительных систем : автореф. дис. ... канд. техн. наук: 05.13.12 / А. Г. Зыков. - 2008. - 23 с : ил. - Библиогр.: с. 19-23(36 назв.). - Текст : непосредственный.
ГРНТИ | УДК | |
50.01.81 | 004.3.052.42(043) | |
004.415.5(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар09-1932)>
Шифр в сводном ЭК: 9c69fdcca0241fe405389a484490fee7
Заказ фрагмента документа ₽