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

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

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

Меню

Публикации

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

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

Партнеры

Гуров Вадим Сергеевич

Место работы: Университет ИТМО
Должность: ассистент

Гуров В. С., Яминов Б. Р. ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ ПРИ ПОМОЩИ ВЕРИФИКАТОРА UNIMOD.VERIFIER
Статья опубликована в выпуске №8, том 08, 2008

Гуров В. С., Мазин М. А., Шалыто А. А. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №8, том 08, 2008

Гуров В. С., Мазин М. А., Шалыто А. А. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №8, том 07, 2007

Гуров В. С., Мазин М. А., Шалыто А. А., Нарвский А. С. Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии
Статья опубликована в выпуске №5, том 04, 2004

Гуров В. С., Мазин М. А., Шалыто А. А. UNIMOD – инструментальное средство для автоматного программировани
Статья опубликована в выпуске №7, том 06, 2006

Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.