Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
мова, язык
язык ESTELLE
Документи:
Верификация коммуникационных протоколов, представленных на языке ESTELLE, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомящий, Г. И. Алексеев, А. В. Быстров [et al.] // Программирование. – 2001. – № 2. – 5-20.
Інформаційно-пошукова система
'УФД/Бібліотека'