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

Архив

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

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

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

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

Резюме статьи
"Another axiomatization of PASCAL or Why axiomatize programming languages".
Дата: 15.07.1974(?)
Оригинальный язык документа: английский
Авторы: Ричард Уэйроч, Луиджия Айэлло, Марио Айэлло

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


	1

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

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