Поиск по сайту

ГлавнаяПоиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Девянин П. Н. , Тиевский С. Д. , Девянин П. Н. , Кокорин А. О. , Тиевский С. Д. , Кокорин А. О. «Приемы дедуктивной вери фикации программного кода с использованием AstraVer Toolset» // Прикладная дискретная математика. Приложение 2022. №15 C.80-90