документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Переписка Исходящая зарубежная корреспонденция (1975) Письмо

	Письмо Благодарит за внимание и содействие А.О. Буде в его работе над диссертацией. Предлагает создать Рабочую группу для совместных исследований и координированных разработок по теме "Методы конструирования и проверки программ". Дата: 09.06.1975 Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Организации: ИММ БАН Персоналии: Анатолий Алексеевич Дородницын, Анатолий Олегович Буда, Гурий Иванович Марчук Адресаты: Любомир Илиев Изображения страниц: 1 2 Назад Следующий документ (Письмо) Предыдущий документ (Телеграмма)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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