Яминов Б.Р.

Место работы: Университет ИТМО
Гуров В. С., Яминов Б. Р. ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ ПРИ ПОМОЩИ ВЕРИФИКАТОРА UNIMOD.VERIFIER
Статья опубликована в выпуске №8, том 08, 2008
Кочелаев Д. Ю., Лагунов И. А., Хасянзянов Б. З., Яминов Б. Р. ИНСТРУМЕНТАЛЬНОЕ СРЕДСТВО ДЛЯ ПОДДЕРЖКИ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ UNIMOD 2. ПРОЕКТИРОВАНИЕ. ВАЛИДАЦИЯ. ВЕРИФИКАЦИЯ. РЕАЛИЗАЦИЯ
Статья опубликована в выпуске №8, том 08, 2008
Информация 2001-2021 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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