Formal methods of specification and verification software
доц. В.С. Песчаненко
Sender: Песчаненко Владимир (3rd september 2008)
Faculty of Computer Science, Physics and Mathematics :: Disciplines of the Department of Computer Science and Software Engineering :: Specialized Programming Languages
Annotation
11 лекций по Специальным языкам программирования
см. документ "Робоча програма"