Полное описание

Ар09-1932
Зыков, А. Г. Методы верификации аппаратно-программных компонентов вычислительных систем : автореф. дис. ... канд. техн. наук : 05.13.12 / А. Г. Зыков. - СПб. : [б. и.], 2008. - 23 с : ил. - Библиогр.: с. 19-23(36 назв.). - Текст : непосредственный.

ГРНТИ	УДК
50.01.81	004.3.052.42(043)
	004.415.5(043)

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

Заказать издание
Заказ фрагмента документа ₽