Зведений каталог бібліотек Миколаєва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

51.681.3
Максимець, О. М.
    Пошук інваріантів U-Y-програм ітераційним алгоритмом над абсолютно вільними алгебрами даних [Текст] / О.М. Максимець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 228-233.

- Анотація:

Розглядається проблема пошуку програмних інваріантів у програмах над вільними алгебрами даних.

- Є складовою частиною документів:

- Теми документа

  • УДК // Математика



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Миколаївського національного університету імені В. О. Сухомлинського