Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
Т
транзиционные системы
Документи:
Кривий, С. Л.
Формальні методи аналізу властивостей систем [Текст] / С. Л. Кривий, Л. Є. Матвєєва // Кибернетика и системный анализ. – 2003. – № 2. – 15-36.
Крывый, С. Л.
Верификация программ:состояние, проблемы, результаты [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. – 2013. – Т. 49, № 6. – С. 3-14.
Інформаційно-пошукова система
'УФД/Бібліотека'