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

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


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

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