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

Архив Редакционно-издательская деятельность Работа в журнале "Кибернетика" Переписка "Кибернетики" Письмо

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

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