|
|
Ар12-10501
Марьясов, И. В.
Верификация C-программ с помощью смешанной аксиоматической семантики [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / И. В. Марьясов. - Новосибирск, 2012. - 18 с. - Библиогр.: с. 15-17 (11 назв.)
Кл.слова (ненормированные):
программы для эвм -- верификация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
|
|