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