документы
об архиве
о проекте
Андрей Ершов
Switch to English
Архив
Редакционно-издательская деятельность
Работа в журнале "Information Processing Letters"
IPL. Статья Т. Такаока
Отчет рецензента
Отчет рецензента
о статье "A Decomposition Rule for the Hoare Logic".
Дата: 20.10.1986
Названия статей: "A Decomposition Rule for the Hoare Logic"
Оригинальный язык документа: английский
Авторы:
Людмила Викторовна Черноброд (Суковатицына)
Организации:
Журнал "Information Processing Letters"
Персоналии:
Андрей Петрович Ершов
,
Т. Такаока
Изображения страниц:
1
Назад
Следующий документ (Отчет рецензента)
Предыдущий документ (Сопроводительное письмо )
Switch to English
|
Поиск
|
Расширенный поиск
|
Папки
| Темы
Главная страница
Помощь
Switch to English
Вебмастер
©
ИСИ СО РАН
, 2000-2016
