Статья

Архив Научное творчество Работы 1984 г.Статья "Научные основы доказательного программирования"

Статья

Статья

"Научные основы доказательного программирования".

Дата:

22.05.1984

Авторы:

Андрей Петрович Ершов

Текстовые представления:

Файл: