Архив
Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы
Международная конференция по надежности математического обеспечения
Резюме статей, заявленных на конференцию
Резюме статьи
Резюме статьи
"Logical Analysis of Programs".
Дата: 15.07.1974
Оригинальный язык документа: английский
Авторы: Зохар Манна, Шмуэль Кац

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


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

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