Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>U=004.312-048.24<.>)

Общее количество найденных документов : 1

004.415.5/Y91-081068

Yuan, J.
Constraint-based verification [Electronic resource] / J. Yuan, A. Aziz, C. Pixley. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2006. - ISBN 0-387-30784-2 : Б. ц.

ГРНТИ	50.33.14
УДК	004.312-048.24

Рубрики: Логические схемы--Верификация

См. : Текст издания

Доп.точки доступа:
Aziz, A.; Pixley, C.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)