Егоров Кирилл Викторович

Место работы: Университет ИТМО
Ученая степень: магистр прикладной математики и информатики
E-mail: kegorof@gmail.com
Егоров К. В., Шалыто А. А. РАЗРАБОТКА ВЕРИФИКАТОРА АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске №8, том 08, 2008
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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