Зведений каталог бібліотек Харкова
Непомнящий, В. А. Верификация финитных итераций над наборами изменяемых структур данных [Текст] / В.А. Непомнящий // Кибернетика и системный анализ. — 2007. — №3. — С. 33-46.
- Анотація:
Вводяться фінітні ітерації над наборами змінюваних структур даних, що зводяться до стандартних фінітних операцій, для розширення області застосування символічного методу верифікації.
- Є складовою частиною документа:
Кибернетика и системный анализ [Текст]. — 2007. — №3.
- Теми документа
