__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 363
__________________________________________________________________
Дата: 23.09.94
Время: 15.00
__________________________________________________________________
Шилов Н.В.
О работе 16 международной летней школы
«Deductive program design»: лекции Дейкстры и Гриса.
(Marktoberdorf, август 1994)
__________________________________________________________________