Архив
Зарубежные командировки
Командировка в Польшу (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 | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016