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

Изображения страниц:
1


Назад
Следующий документ (Записка)
Предыдущий документ (Письмо)

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