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

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

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