Вы здесь

Главная

финитные итерации

Связанные издания:

Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Верификация финитных итераций над наборами изменяемых структур данных
Математическое обеспечение ЭВМ для интерполяции и аппроксимации решений краевых задач математической физики с помощью финитных базисных функций
Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями
Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями