Семинары

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

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

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

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