Архив академика А.П.Ершова

Архив

Редакционно-издательская деятельность

Работа в журнале "Information Processing Letters"

IPL. Статья Т. Такаока

Письмо

Письмо
Посылает исправленный вариант статьи.
Дата: 12.03.1987
Названия статей: "A Decomposition Rule for the Hoare Logic"
Оригинальный язык документа: английский
Авторы: Т. Такаока
Организации: Университет в Ибараки
Адресаты: Андрей Петрович Ершов

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


	1

Назад
Следующий документ (Регистрационная карточка)
Предыдущий документ (Отчет рецензента)

Switch to English | Поиск | Расширенный поиск | Папки | Темы