Конференция, посвященная 90-летию со дня рождения Алексея Андреевича Ляпунова

Россия, Новосибирск, Академгородок, 8 - 11 октября 2001 года,
(номер государственной регистрации 0320300063)

Участник:

Сводный список докладов
Список докладов конференции

Непомнящий Валерий Александрович

зав. лаб. ИСИ СО РАН с.н.с. к.ф.- м.н.
ИСИ СО РАН
Россия 630090 Новосибирск пр. Лаврентьева, 6
Тел. (раб): 3832-34-13-60
Тел. (дом): 3832-32-24-68
Факс: 3832-32-34-94

Область интересов:
теория программирования, верификация программ и систем, семантика программ, спецификация программ, распределенные системы, сети Петри

Ваши комментарии

[Головная страница]
[Конференции]
[СО РАН]

© 2001, Сибирское отделение Российской академии наук, Новосибирск
© 2001, Объединенный институт информатики СО РАН, Новосибирск
© 2001, Институт вычислительных технологий СО РАН, Новосибирск
© 2001, Институт систем информатики СО РАН, Новосибирск
© 2001, Институт математики СО РАН, Новосибирск
© 2001, Институт цитологии и генетики СО РАН, Новосибирск
© 2001, Институт вычислительной математики и математической геофизики СО РАН, Новосибирск
© 2001, Новосибирский государственный университет
Дата последней модификации 06-Jul-2012 (11:45:21)