Семинары

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

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

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

Поступило: 23 марта 2003 17:52
Последнее изменение: 23 марта 2003 17:52