Електронний каталог
Класифікатори
верифікація, верификация, verification
верифікація програм, верификация программ
Документи:
Сертифікація, стандартизація та правовий захист програмних засобів [Електронний ресурс] [Текст] : лабораторний практикум для студ. освіт. ступ. "Магістр" спец. 122 "Комп'ютерні науки" освіт.-проф. програм: "Інформаційні управляючі системи та технології", "Комп`ютерний еколого-економічний моніторинг" ден. форми навч. / уклад. : Л. Г. Загоровська, М. В. Гладка ; Нац. ун-т харч. технол. — Київ : НУХТ, 2018. — 44 с. — каф. інформаційних систем.
Хоггер, Кристофер Джон
Введение в логическое программирование [Текст] : Пер. с англ. / К. Хоггер ; Ред. Ю.И. Янова. — М. : Мир, 1988. — 368 с. — ISBN 5-03-000490-4.
Інформаційно-пошукова система
'УФД/Бібліотека'