Автор Гедич Андрей Алексеевич Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 5 ( сентябрь-октябрь )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

Гедич Андрей Алексеевич

Место работы: Университет ИТМО
Должность: доцент
Ученая степень: кандидат технических наук
E-mail: zykov_a_g@mail.ru

Гедич А. А., Зыков А. Г., Лаздин А. В. АВТОМАТИЧЕСКИЙ ПОИСК ЛОКАЛЬНЫХ ПЕРЕМЕННЫХ И АРГУМЕНТОВ ПРОЦЕДУРЫ В ИСПОЛНЯЕМОМ КОДЕ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована в выпуске №5, том 13, 2013

Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.