Журнал «Системная информатика»
ISSN 2307-6410

Старолетов Сергей Михайлович

Старолетов Сергей Михайлович
Старолетов Сергей Михайлович
Россия, Барнаул
Степень: 
кандидат физико-математических наук
Область научных интересов: 
верификация программ
операционные системы
Место работы и должность:
Алтайский государственный технический университет
доцент
Адрес электронной почты: 
serg_soft@mail.ru

Список статей в журнале СИ:

Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // Системная информатика. — 2017. — № 10. — С. 33-44.