————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 493
21 марта 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Ф.А. Мурзин
Язык программирования REFAL:
формальная модель
————————————————————