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

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

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

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