Вы здесь

Люлькин А. Е.

Автор:

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