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

Архив Переписка Исходящая корреспонденция (1985) Письмо

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

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