Сергієнко І. В. Про формальні методи в комп'ютерних технологіях / І. В. Сергієнко, І. М. Парасюк, О. І. Провопар // Кибернетика и систем. анализ. - 1998. - № 4. - С. 159-167. - Бібліогр.: 16 назв. - укp.Розглядаються деякі напрямки досліджень та наводяться відповідні формалізми, які знайшли практичне застосування при розробці програмного забезпечення, методів подання знань, моделей баз даних та ін. Індекс рубрикатора НБУВ: З973-01
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|