7 ОКТЯБРЯ 2013

15:30, в конференц-зале ИАиЭ СО РАН

"Процесс-ориентированные средства формальной спецификации управляющих алгоритмов технологического уровня"

(докторская диссертация по специальности 05.13.17 "Теоретические основы информатики")

Докладчик: Зюбин В. Е.

Институт автоматики и электрометрии СО РАН