Подымов Владислав Васильевич
Материал из Кафедра математической кибернетики
Версия от 03:41, 2 декабря 2015; PodymovVV (обсуждение | вклад)
- e-mail: valdus@yandex.ru
- Профиль в системе ИСТИНА
Области научных интересов
- Формальная верификация программ
- Проверка эквивалентности программ
- Программно-конфигурируемые сети
- Временные автоматы
