Вы здесь
Люлькин А. Е.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Функциональная верификация дискретных устройств с использованием логического программирования | 2004 | Люлькин А. Е. | УСиМ | НАН Украины, МНУЦИТиС м | Управляю ие системы и машины | 28.10.2004 |