————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 563
17 декабря 2002
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Д.В. Шкурко
Реферат книги
«Algebraic and coalgebraic methods in the mathematics of
program construction»LNCS 2297(Tutorial)
(International summer schooland workshop,
Oxford, UK, April 2000)
————————————————————