Зведений каталог бібліотек Харкова
Перминов, О. Н. Механические процедуры программирования [Текст] / О.Н. Перминов // Программирование. — 1980. — С. 56-61.
- Анотація:
Рассматривается подход к формальному проектированию программ, основанный на механических процедурах программирования.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 1980.
- Теми документа