Семинары

Семинар ВМК МГУ "Современные методы и средства моделирования систем обработки и передачи данных"
11.10.2001

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

• http://lvk.cs.msu.su/seminar.html

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