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