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

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

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

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