Полное описание
>
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 : 45000 р. - Текст : непосредственный.
Библиогр.в конце глав.Указ.:с.317-326
ГРНТИ | УДК | |
47.14 | 621.3.049.771.14.001.2-52 |
Рубрики:
Интегральные схемы большие -- Проектирование -- Автоматизация
Доп. точки доступа:
Yoeli, M.\ed.\
>
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Заказ фрагмента документа ₽