|
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 : Б. ц.
Рубрики: Логические схемы--Верификация
См. : Текст издания Доп.точки доступа: Aziz, A.; Pixley, C.; SpringerLink (Online service)
Свободных экз. нет
|
|