Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
система
система переходов
Документи:
Камкин, А. С.
Проецирование ситем переходов: преодоление комбинаторного взрыва при верификации параллельных систем [Текст] / А. С. Камкин // Программирование. – 2015. – № 6. – С. 53-71.
Інформаційно-пошукова система
'УФД/Бібліотека'