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

Место работы: Университет ИТМО
Должность: ассистент
Гуров В. С., Яминов Б. Р. ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ ПРИ ПОМОЩИ ВЕРИФИКАТОРА UNIMOD.VERIFIER
Статья опубликована в выпуске №8, том 08, 2008
Гуров В. С., Мазин М. А., Шалыто А. А. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №8, том 08, 2008
Гуров В. С., Мазин М. А., Шалыто А. А. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №8, том 07, 2007
Гуров В. С., Мазин М. А., Шалыто А. А., Нарвский А. С. Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии
Статья опубликована в выпуске №5, том 04, 2004
Гуров В. С., Мазин М. А., Шалыто А. А. UNIMOD – инструментальное средство для автоматного программировани
Статья опубликована в выпуске №7, том 06, 2006
Информация 2001-2019 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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