Архив академика А.П.Ершова

Архив

Зарубежные командировки

Командировка в Польшу (1983)

Пребывание в Польше

Доклад

Доклад
А.А.Летичевского "Abstract Data Types and Finding Invariants of Programs".
Дата: 18.08.1983
Оригинальный язык документа: русский
Авторы: Александр Адольфович Летичевский

Изображения страниц:


	1	2	3	4	5	6	7	8	9	10

Назад
Следующий документ (Рабочие записи)
Предыдущий документ (Информация для участников)

Switch to English | Поиск | Расширенный поиск | Папки | Темы