РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІНАДХОДЖЕННЯ |
ПОШУК
|
РУБРИКАТОР
|
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб|
|
Пошуковий запит: (<.>ID=REF-0000141617<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
Люлькин А. Е. Функциональная верификация дискретных устройств с использованием логического программирования / А. Е. Люлькин // Управляющие системы и машины. - 2004. - № 2. - С. 38-45. - Библиогр.: 10 назв. - рус. Описано дискретні пристрої (комбінаційні та послідовнісні схеми) сукупностями предикатів, які дозволяють виконати їх функціональну верифікацію (встановити функціональну відповідність певному вихідному опису функцій або пристрою) засобами логічного програмування. Розглянуто приклади описів на мові логічного програмування ПРОЛОГ. Індекс рубрикатора НБУВ: З972-07-5-05 Рубрики: Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця" | |||
| Національна бібліотека України імені В. І. Вернадського |
 |
| Відділ наукового формування національних реферативних ресурсів |
 |
| Інститут проблем реєстрації інформації НАН України |
Всі права захищені © Національна бібліотека України імені В. І. Вернадського