Архив
Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы
Международная конференция по надежности математического обеспечения
Резюме статей, заявленных на конференцию
Резюме статьи
Резюме статьи
"Structured Programming and Automated Validation Tools".
Дата: 15.07.1974(?)
Оригинальный язык документа: английский
Авторы: Леон Г. Стаки, Джон Хайлс

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


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

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