Архив
Редакционно-издательская деятельность
Работа в журнале "Information Processing Letters"
IPL. Статья Т. Такаока
Сопроводительное письмо
Сопроводительное письмо
к стаье "A Decomposition Rule for the Hoare Logic", представленной для опубликования в журнале IPL.
Дата: 29.08.1986
Названия статей: "A Decomposition Rule for the Hoare Logic"
Оригинальный язык документа: английский
Авторы: Т. Такаока
Организации: Университет в Ибараки
Адресаты: Андрей Петрович Ершов

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


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

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