Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
множина, множество
множество регулярное
Документи:
Бенидзе, Н. Н.
Задача оценки верификации (корректности) алгоритмов и компьютерных программ [Текст] / Н. Н. Бенидзе // Оптико-електронні інформаційно-енергетичні технології. – 2010. – № 2. – С. 80-83.
Інформаційно-пошукова система
'УФД/Бібліотека'
