Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
верифікація, верификация
верифікація формальна
Документи:
Кривий, С. Л.
Аналіз властивостей мереж Петрі [Текст] / С. Л. Кривий, О. М. Максимець // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 86-89. – (Серія "Фізико-математичні науки").
Інформаційно-пошукова система
'УФД/Бібліотека'