Вы здесь

Главная

Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями

Автор: 
Кондратьев Д. А.
Количество экземпляров: 
1
Вид: 
Диссертация
Год: 
2022
Ключевые слова: 
комплексный подход
автоматизация
дедуктивная верификация
финитные итерации
Стр.: 
238 с.
Библиография: 
Библиогр.: c.219-237
Место защиты: 
Новосибирск
Номер специальности: 
05.13.11
Карточка: 

Кондратьев Д. А..

Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями

Дисс...канд. физ.-мат. наук.: 05.13.11. – Новосибирск, 2022.-238 с.

-Новосибирск
Библиогр.: c.219-237