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