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

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

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

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