Архив
Зарубежные командировки
Командировка в Италию (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 | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016