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