Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
автомат
автомат временной
Документи:
Громов, М. Л.
Синтез различающих экспериментов для временных автоматов [Текст] / М. Л. Громов, Н. В. Евтушенко // Программирование. – 2010. – № 4. – С. 40-50.
Крывый, С. Л.
Экосистемы программной инженерии [Текст] / С. Л. Крывый, Е. А. Гриненко // Кибернетика и системный анализ. – 2020. – Т. 56, № 4. – С. 128-143.
Інформаційно-пошукова система
'УФД/Бібліотека'