Архив академика А.П.Ершова

Архив

Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы

Международная конференция по надежности математического обеспечения

Резюме статей, заявленных на конференцию

Резюме статьи

Резюме статьи
"Constructing Correct and Efficient Concurrent Programs".
Дата: 15.07.1974(?)
Оригинальный язык документа: английский
Авторы: Мишель Синцов, А. ван Ламсверде

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


	1	2

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

Switch to English | Поиск | Расширенный поиск | Папки | Темы