Полное описание
> Formal verification of hardware design / ed. M. Yoeli. - Los Alamitos, Ca [etc.] : IEEE computer soc. press, 1990. - IX,326 p. p. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 90EHO319-4). - ISBN 0-8186-6017-1. - Текст : непосредственный.
Библиогр.в конце глав.Указ.:с.317-326
ГРНТИ | УДК | |
47.14 | 621.3.049.771.14.001.2-52 |
Рубрики:
Интегральные схемы большие -- Проектирование -- Автоматизация
Кл.слова (ненормированные): Успехи научной - Уют
Доп. точки доступа:
Yoeli, M.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/6736/90EHO319-4)>
Шифр в сводном ЭК: c238f8f3680fd3d5341efbff7ebca8de
Заказ фрагмента документа ₽