__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
__________________________________________________________________
Заседание N 365
Дата: 5.10.94
Время: 15.00
__________________________________________________________________
Сабельфельд В.К.
Анализ свойств и эквивалентные преобразования
на моделях программ
(докторская диссертация)
__________________________________________________________________
__________________________________________________________________
Заседание N 366
Дата: 14.10.94
Время: 15.00
__________________________________________________________________
Сулимов А.А.
Язык спецификации и описания SDL
__________________________________________________________________