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

Архив

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

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

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

Статья

Статья
"A Decomposition Rule for the Hoare Logic".
Дата: 05.10.1986
Названия статей: "A Decomposition Rule for the Hoare Logic"
Оригинальный язык документа: английский
Авторы: Т. Такаока

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


	1	2	3	4	5	6	7

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

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