Архив
Зарубежные командировки
Командировка в Польшу (1983)
Пребывание в Польше
Информация для участников, 16.08.1983-24.08.1983
Доклад, 18.08.1983
А.А.Летичевского "Abstract Data Types and Finding Invariants of Programs".
Рабочие записи, 16.08.1983-24.08.1983
сделанные во время Конгресса.
Программа с дополнением, 15.08.1983
Программа Конгресса и дополнение к ней в виде 8 выпусков Daily News.
Список, 15.08.1983
участников Конгресса.
Приглашение, 16.08.1983
на церемонию открытия Конгресса.

По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016