документы
об архиве
о проекте
Андрей Ершов
Switch to English
Архив
Зарубежные командировки
Командировка в Италию (1982)
Материалы, привезенные с Капри.
Статья
Статья
"A Practical Method for Testing Algebraic Specification". Авторы - J.Tardo, J.Goguen, N.Williamson".
Оригинальный язык документа: английский
Авторы:
Джозеф Гоген
Изображения страниц:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
Назад
Следующий документ (Слайды)
Предыдущий документ (Статья)
Switch to English
|
Поиск
|
Расширенный поиск
|
Папки
| Темы
Главная страница
Помощь
Switch to English
Вебмастер
©
ИСИ СО РАН
, 2000-2016
