документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Редакционно-издательская деятельность Работа в журнале "Information Processing Letters" IPL. Статья Т. Такаока Отчет рецензента

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

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