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

Архив

Зарубежные командировки

Командировка в Италию (1982)

Материалы, привезенные с Капри.

Статья

Статья
"An informal introduction to specifications using Clear". Авторы - R.M.Burstall, J.A.Goguen.

Оригинальный язык документа: английский
Авторы: Род М. Берсталл, Джозеф Гоген

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


	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15

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

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