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