Вид документа : Однотомное издание Шифр издания : И-З 97/F75 Заглавие : Formal verification of hardware design : сборник Выходные данные : Los Alamitos: IEEE Computer society press, 1990 Колич.характеристики :IX,326 p.: Ill. Примечания : Bibliogr. at the end of the chapters. - - Ind.: p. 317-326 ISBN, Цена 0-8186-9017-8: Б.ц. ГРНТИ : 50.33.14 ББК : З 973.2-02 Предметные рубрики: Компьютеры-- Проектирование Дескрипторы: сб Ключевые слова (''Своб.индексиров.''): временная логика--верификация--микропроцессоры Содержание : B; B Экземпляры :02(1) Свободны : 02(1) Доп.точки доступа: Yoeli, M. \ed.\