Зведений каталог бібліотек Миколаєва
004.415.28Львов, М. С. Об одном подходе к верификации алгебраических вычислений [Текст] / М.С. Львов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 23-35.
- Анотація:
Рассмотрен подход к верификации интерпретаторов многосортных алгебраических операций по их спецификациям, основанный на конструктивном уточнении понятия расширения многосортной алгебраической системы и доказательстве аксиом алгебраической системы.
- Є складовою частиною документа:
Проблеми програмування (ч/з) [Текст] : наук. журн. — К. : Ін-т програмних систем НАН України.
- Теми документа
