О реализации вычислений в задачах анализа программ, определенных над векторными пространствами

В даній роботі розглянуті основні вимоги користувача до програмної системи, яка автоматично генерує програмні інваріанти для визначеного класу програм. Аналізуються також методи реалізації основних алгоритмів такої системи....

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2004
Автор: Львов, С.М.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2004
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/2288
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:О реализации вычислений в задачах анализа программ, определенных над векторными пространствами / С.М. Львов // Проблеми програмування. — 2004. — N 2,3. — С. 95-101. — Бібліогр.: 6 назв. — рос.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine