Дубрановский, И. В. На пути к верификации С# - программ: алгоритмы перевода из С#-light в C#-kernel / И. В. Дубрановский. - Новосибирск : [б. в.], 2006. - 55 с. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; 140). - Библиогр.: с. 54-55(10 назв.). - Б. ц. р.
Промский, А. В. Применение трехуровневого подхода к верификации программ на языке С / А. В. Промский. - Новосибирск, 2006. - 55 с. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; 139). - Библиогр.: с. 54-55. - Б. ц. р.
Смирнов, Александр Валентинович. Описание размерных переменных с помощью классов на языке С++ : учеб.-метод. пособие / А. В. Смирнов, А. О. Сидорин, Г. В. Трубников. - Дубна : Объед. ин-т ядер. исслед., 2008. - 35 с. ; 22 см. - (Учебно-методические пособия Учебно-научного центра ОИЯИ ; УНЦ-2008-32). - 15.00 р.
Дод.точки доступу: Сидорин, Анатолий Олегович; Трубников, Григорий Владимирович
Примірників всього: 1 ХР (1) Свободны: ХР (1)
Пр 4-1/150
Горелик, А. М. Смешанное программирование на Фортране и Си / А. М. Горелик. - М. : ИПМ, 2009. - 13 с. - (Препринт / Ин-т прикладной математики им. М. В. Келдыша Рос. акад. наук ; №59 за 2009 г.). - Библиогр.: с. 13. - 15.00 р.
Марьясов, И. В. Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки / И. В. Марьясов. - Новосибирск : ИСИ, 2010. - 34 с. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; 155). - Библиогр.: с. 20. - 15.00 р.
Краснов, Михаил Михайлович. Разрывный метод Галёркина на трехмерных тетраидальных сетках. Применение шаблонного метапрограммирования языка С++ / М. М. Краснов, М. Е. Ладонкина. - М. : ИПМ, 2016. - 22 с. : ил. - (Препринт / Ин-т приклад. математики им. М. В. Келдыша Рос. акад. наук ; № 24 за 2016 г.). - Библиогр.: с. 22. - ISSN 2071-2898. - 15.00 р.