В344980/Ч. 1
На пути к верификации C-программ [Текст]. - Новосибирск, 2001 .
Ч. 1 : Язык C-Light / В. А. Непомнящий [и др.]. - [Б. м.] : [б.и.], 2001. - 49 с. - (Препр. / РАН. СО, Институт систем информатики им. А.П.Ершова ; №84)

Рубрикатор НБУВ:
 З973-018.2 C-light 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Непомнящий, В. А.; Ануреев, И. С.; Михайлов, И. Н.; Промский, А. В.; РАН. СО; Институт систем информатики имени А. П. Ершова

Видання зберігається у :