ЖДТУ Бібліотека Електронний каталог
 
Львов М.С.
Анализ линейно определенных итеративных циклов

Вид документа: Стаття періодичного видання
Рiк видання: 2016
Автор: Львов М.С. Авторський знак: Л89 Вид автора: персона
Мова: Російська Обсяг: С.122-136
Шифр: 519.7 УДК: 519.7
Аннотацiя: статический анализ программ, линейные инварианты циклов, инвариантные системы линейных неравенств
Є складовою частиною документа: Кибернетика и системный анализ
Карта Сайту

© Житомирський державний технологiчний університет