Семинары

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

В.А.Захаров. Статический анализ программ на основе алгоритмов проверки достижимости вершин графов.

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

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