Форма пошуку Назад
укр рус eng
 Cписок

Непомнящий В.А.
Верификация финитных итераций над наборами изменяемых структур данных

Вид документа: Стаття періодики
Автор: Непомнящий В.А. Вид автора: персона
Мова: Російська Обсяг: С. 33-46
УДК: 519.172

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


Загальна інформація
 Бібліографія:21 назв

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