Лаздин Артур Вячеславович

Место работы: Университет ИТМО
Должность: доцент
Лаздин А. В., Немолочнов О. Ф. Оценка сложности графа функциональной программы
Статья опубликована в выпуске 2(6) за 2002
Лаздин А. В., Немолочнов О. Ф. Метод построения графа функциональной программы для решения задач верификации и тестирования
Статья опубликована в выпуске 2(6) за 2002
Немолочнов О. Ф., Зыков А. Г., Лаздин А. В., Поляков В. И. Верификация в исследовательских, учебных и промышленных системах
Статья опубликована в выпуске 5(11) за 2003
Информация 2001-2017 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика