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

Архив Научное творчество Работы 1982 г. Рабочие записи

	Рабочие записи Выписка из статьи "A Practical Method for Testing Algebraic Specification". Авторы - J. Tardo, J. Goguen, N. Williamson. Дата: 18.07.1982 Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Изображения страниц: 1 2 3 Назад Предыдущий документ (Статья )
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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