Вы здесь
Функциональная верификация дискретных устройств с использованием логического программирования
Количество экземпляров:
1
Колл. автор:
Вид:
Статья из сборника или журнала
Год:
2004
Ключевые слова:
Стр.:
С.38-45
Библиография:
Библиогр.: c.45
Место издания:
Серия:
Источник:
Номер:
23
Карточка:
Б3.21, А3.2.
Люлькин А. Е..
Функциональная верификация дискретных устройств с использованием логического программирования-Киев.// Управляю ие системы и машины, 2004, №23.-С.38-45-(УСиМ).
Библиогр.: c.45
Таблица в старой библиотеке:
PAP29 471