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

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

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