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