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