Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
мова, язык
язык С-LIGHT
Документи:
На пути к верификации С-программ. Язык С-LIGHT и его формальная семантика [Текст] / В. А. Непомнящий, И. С. Ануреев, И. Н. Михайлов, А. В. Промский // Программирование. – 2002. – № 6. – 19-30.
Інформаційно-пошукова система
'УФД/Бібліотека'