Заседание семинара "Математическое обеспечение высокопроизводительных вычислительных систем" 03.12.2014 в 16-00. "Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри", Марков А.В.

Cеминар ИВМиМГ СО РАН: 
Математическое обеспечение высокопроизводительных вычислительных систем
Дата / Время проведения: 
среда, 3 декабря, 2014 - 09:00
Место проведения: 
малый конференц-зал ИВМиМГ СО РАН (1-233)
Докладчик
Ф.И.О. докладчика: 
Марков А.В.
Название доклада: 
Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри