Вы здесь

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

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

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

Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Новосибирск, 2022.-24 с.
Библиогр.: c.20-24