Форма пошуку
Назад
укр
рус
eng
Cписок
Непомнящий В.А.
Верификация финитных итераций над наборами изменяемых структур данных
Вид документа:
Стаття періодики
Автор:
Непомнящий В.А.
Вид автора:
персона
Мова:
Російська
Обсяг:
С. 33-46
УДК:
519.172
Аннотацiя:
Вводяться фінітні ітерації над наборами змінюваних структур даних, що зводяться до стандартних фінітних операцій, для розширення області застосування символічного методу верифікації.
Загальна інформація
Бібліографія
:
21 назв
Теми документа:
УДК/UDC/ 5 Математика та природничі науки/Математика и естественные науки/Mathematics. Natural Sciences/ 51 Математика/Mathematics/ 519.1 Комбінаторний аналіз. Теорія графів/Комбинаторный анализ. Теория графов/Combinatorial analysis. Graph theory/ 519.17 Теорія графів/Теория графов/Graph theory