Семинары

Семинар ВМК МГУ по автоматизации программирования
21.02.2003

А.К.Петренко (институт Системного программирования РАН). Тестирование на основе формальных спецификаций в процессах разработки программных комплексов.

• http://sp.cmc.msu.ru/win/seminar/index.html

Поступило: 17 февраля 2003 19:56
Последнее изменение: 18 февраля 2003 21:56