Корнеев Георгий Александрович

Место работы: Университет ИТМО
Должность: доцент
Ученая степень: кандидат технических наук
E-mail: kgeorgiy@rain.ifmo.ru
Корнеев Г. А., Малаховски Я. М. ВАЛИДАЦИЯ АВТОМАТОВ С ПЕРЕМЕННЫМИ НА ФУНКЦИОНАЛЬНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №6, том 10, 2010
Корнеев Г. А., Шалыто А. А. Язык описания визуализаторов алгоритмов
Статья опубликована в выпуске №9, том 06, 2006
Корнеев Г. А., Шалыто А. А. ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована в выпуске №7, том 05, 2005
Корнеев Г. А., Шалыто А. А. VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована в выпуске №7, том 05, 2005
Шалыто А. А., Корнеев Г. А. ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
Статья опубликована в выпуске №2, том 06, 2006
Малаховски Я. М., Корнеев Г. А. ПРИМЕНЕНИЕ ЗАВИСИМЫХ СИСТЕМ ТИПОВ СО СТРУКТУРНОЙ ИНДУКЦИЕЙ ДЛЯ ВЕРИФИКАЦИИ РЕАКТИВНЫХ ПРОГРАММ
Статья опубликована в выпуске №6, том 12, 2012
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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