Максимец, А. Н. Поиск программных инвариантов в виде полиномов [Текст] / А. Н. Максимец> // Доповіді Національної академії наук України. - 2013. - № 9. - С. 44-50. - Библиогр. в конце ст. Рубрики: Математика--Обчислювальна математика і чисельний аналіз--Наближення та інтерполяція Комп'ютерна наука і технологія--Програмне забезпечення--Програмування, комп'ютерні програми--Алгоритми для конструювання програм Кл.слова (ненормовані): Базис Гребнера -- Алгебра данных -- Идеал Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |