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