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

Архив

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

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

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

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

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

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


	1	2	3

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

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