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