Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

анализ программ статический

Документи:

Львов, М. С. Анализ линейно определенных итеративных циклов [Текст] / М. С. Львов // Кибернетика и системный анализ. – 2016. – Т. 52, № 1. – С. 122-136.
Львов, М. С. Метод доказательства инвариантности линейных неравенств для линейных циклов [Текст] / М. С. Львов // Кибернетика и системный анализ. – 2014. – Т. 50, № 4. – С. 180-185.
Львов, М. С. О структуре полиномиальных инвариантов линейных циклов [Текст] / М. С. Львов // Кибернетика и системный анализ. – 2015. – Т. 51, № 3. – С. 143-156.
Львов, М. С. Полиномиальные инварианты линейных циклов [Текст] / М. С. Львов // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 159-168.