ЖДТУ Бібліотека Електронний каталог | |
Люлькин А.Е. Функциональная верификация дискретных устройств с использованием логического программирования Вид документа: Стаття періодичного видання Автор: Люлькин А.Е. Авторський знак: Л94 Вид автора: персона Мова: Російська Обсяг: с.38 Шифр: 681.3 УДК: 681.3 Є складовою частиною документа: Международный научно-учебный центр информационных технологий и систем Управляющие системы и машины | |
|