Астронет:  Семинары Семинар ВМК МГУ по автоматизации программирования http://www.astronet.ru/db/msg/1186758

Семинары

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

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

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

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