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