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

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

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