Семинары

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

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

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