Formal methods of specification and verification software
доц. В.С. Песчаненко
Выслал: Песчаненко Владимир (3 сентября 2008г.)
Факультет компьютерных наук, физики и математики :: Дисциплины кафедры компьютерных наук и программной инженерии :: Специализированные языки программирования
Аннотация
11 лекций по Специальным языкам программирования
см. документ "Робоча програма"