| |
Львов, М. С.
Анализ линейно определенных итеративных циклов [Текст] / М. С. Львов
// Кибернетика и системный анализ. – 2016. – Т. 52, № 1. – С. 122-136.
Представлен новый метод доказательства инвариантности системы линейных неравенств, а также завершаемости линейно определенных итеративных циклов императивных программ. |
