документы
об архиве
о проекте
Андрей Ершов
Switch to English
Архив
Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы
Международная конференция по надежности математического обеспечения
Резюме статей, заявленных на конференцию
Резюме статьи
Резюме статьи
"Methods for Software Specification".
Дата: 15.07.1974(?)
Оригинальный язык документа: английский
Авторы:
Томас Бредт
Изображения страниц:
1
Назад
Следующий документ (Резюме статьи)
Предыдущий документ (Резюме статьи)
Switch to English
|
Поиск
|
Расширенный поиск
|
Папки
| Темы
Главная страница
Помощь
Switch to English
Вебмастер
©
ИСИ СО РАН
, 2000-2016