Информационная система "Конференции"

Сводный список докладов для автора: Ануреев Игорь Сергеевич

1. КОНФЕРЕНЦИЯ МОЛОДЫХ УЧЕНЫХ, ПОСВЯЩЕННАЯ 10-ЛЕТИЮ ИВТ СО РАН
   25-26 декабря 2000 года, Новосибирск, Академгородок, ИВТ СО РАН
   • Ануреев И.С. Автоматическая элиминация операций над типами данных, определяемыми конструкторами

2. Конференция, посвященная 90-летию со дня рождения Алексея Андреевича Ляпунова
   Россия, Новосибирск, Академгородок, 8 - 11 октября 2001 года, (номер государственной регистрации 0320300063)
   • Ануреев И.С. Язык спецификаций SIMPLE
   • Непомнящий В.А., Ануреев И.С., Михайлов И.Н., Промский А.В. На пути к верификации С-программ. Язык C-light.

3. Конференция молодых ученых по математике, математическому моделированию и информатике
   4-7 декабря 2001 года, Новосибирск, Академгородок
   • Ануреев И.С. Применение методов верификации, разработанных в проекте СПЕКТР, к оптимальной программе проверки списка на зацикливание
   • Коровина М.В., Ануреев И.С., Бодин Е.В., Вотинцева А.В. Спецификация и верификация комплексных систем

Всего 5 докладов на 3 конференциях

Ваши комментарии Обратная связь

[Головная страница] [Конференции]

© 1996-2008, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2008, Сибирское отделение Российской академии наук, Новосибирск
    Дата последней модификации: 14-Jul-2009 (18:15:53)