Архив
Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы
Международная конференция по надежности математического обеспечения
Резюме статей, заявленных на конференцию
Резюме статей
Резюме статей
"A comparison of Two Schemes for Specifying the Behavior of Systems with Concurrency" и "Well-Formed Representation of Programs".
Дата: 15.07.1974(?)
Оригинальный язык документа: английский
Авторы: Уильям Ридл

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


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

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