Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
С
семантика аксиоматическая
Документи:
Грачян, Г. Г.
Об основной симантике бестиповых функциональных программ [Текст] / Г. Г. Грачян // Программирование. – 2008. – № 3. – С. 3-21.
Непомнящий, В. А.
На пути верификации C-программ. Аксиоматическая семантика языка C-kernel [Текст] / В. А. Непомнящий, И. С. Ануреев, А. В. Промский // Программирование. – 2003. – № 6. – 65-80.
Інформаційно-пошукова система
'УФД/Бібліотека'