Астронет:  Семинары Научно-исследовательский семинар ВМК МГУ по автоматизации программирования http://www.variable-stars.ru/db/msg/1184920

Семинары

Научно-исследовательский семинар ВМК МГУ по автоматизации программирования
16.11.2001

Д.В.Царьков (ВМК МГУ). Верификация распределенных программ методов проверки на модели.

Поступило: 13 января 2003 5:49
Последнее изменение: 13 января 2003 5:49