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

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

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

Меню

Публикации

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

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

Партнеры

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

Место работы: Университет ИТМО
Должность: доцент
Ученая степень: кандидат технических наук
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 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.